jetty 9.x support