RMI server port を明示的に指定する(7u4 and later)

JMX over RMI で JMX モニタリングを行う際、サーバー側は「RMI registry port」(クライアントが接続時に指定するポート)と「RMI server port」(内部で使われるポート)と2つのポートを使います。後者の RMI server はデフォルトではランダムに振られるので、ssh tunnel で監視したいようなときは困ってしまうけど、Ja…