jetty version upgrade