Add Jetty 9 support