Update to Jetty 9.2.5