Fixes to RMI server.