How do I change the ServiceMix RMI port number?

The RMI registry that is started by ServiceMix uses the standard port number of 1099. In the event that this port number is already in use by some other process, the RMI port number used by ServiceMix can be changed by simply editing the conf/servicemix.properties file to change the rmi.port property to a port number that is available.