The server.* settings: address, port, TLS, compression, shutdown.
server.*
final ServerProperties settings;