This is an example server.properties file