WebSocket protocol implemented in Java.