using newer jetty version