update to newer jetty