Updates to Jetty server configuration