bug fix in java_websocket lib