Updates for jetty 9.