updated jetty version