small changes to Server.java javadoc, added javadoc for ServerGame