Update from Jetty 8.1.8 to Jetty 9.1.0