Configuration file for Jetty server.