update to the latest version of jetty