Adding Jetty 9 support