Reference implementation of Jetty Websockets