update to latest version of jetty