Fix jetty configuration example