switched to Jetty 9