update the version of jetty