A WebSocket client library implemented in Java