changing jetty server version