support Jetty 9.1