Jetty server start-up code modified