Fix for Jetty 9.0.0.M5