Add documentation for RMIServer