update jetty version