Updated Jetty to 9.1.2.