Fix RMI error (random port number)