A minimal WebSocket server in Java.