Upgrading to Jetty 9