Move to Jetty 9.0.2