Update to jetty 9