First draft of WebSockets using Jetty