update for the latest version of jetty