updated jetty-websocket version