fix jetty version