How to change RMI Registry port?

[Agustín Gañán]

Hi all,

Is there any way to overwrite the default value of the RMI Registry port at
startup ?

I'm thinking in something like the launchpad.http.server.ur property used to
configure the http port as a system property.

Thanks

Agus