have jetty-servlet