Updated to Jetty 9.0.1.