fix RMIServer problem