Debugging RMI