Updates to Jetty configuration