Java doc comments on part of class Server