Javadoc added to the RMI_Server