updated Jetty WebSocket library
updated Jetty WebSocket library