int DEFAULT_HTTP_PORT = 80

Not documented.