В команде JPS docs я обнаружил, что мы можем установить порт реестра RMI в идентификаторе хоста.
Я попробовал следующее
jps XX.XXXX.X.XX:8725
Возвращает ошибочную ошибку:
Malformed Host Identifier: XX.XXX.X.XX:8725
usage: jps [-help]
jps [-q] [-mlvV] [<hostid>]
Definitions:
<hostid>: <hostname>[:<port>]
Я что-то не так делаю?