RMIのRegistry portとServer port

JavaのRMI(Remote Management Interface)ではRegistry portとServer portの2種類が使用されます。
RPCみたいなもので、後者のポートはRegistory Portでのやりとりで動的に決まるのでFirewall越しでの接続が面倒でした。

ところがJava 7 Update 4以降ではServer portを指定できるようになったようです。Registory portと同じ値にすることも可能。
公式ドキュメントには記載がないのですが、ドキュメントバグとしてチケットにあがっています。

Should document com.sun.management.jmxremote.rmi.port.