javadoc for Settings in GremlinServer.