Updates for Jetty 9