Links for jetty-websocket-core-server