Use dedicated rmi port to work around firewall