add jetty9 support