Update to latest version of Jetty 9.