Delete RMIServer.java~