Upgrading to Jetty 9 again