a internal RMI registry port number.

Printable View