A simple RMI server.