More javadoc for Gremlin Server.