/src/main/java/org/htmlunit/WebClientOptions.java
webSocketMaxTextMessageBufferSize_ = webSocketMaxTextMessageBufferSize;webSocketMaxBinaryMessageSize_ = webSocketMaxBinaryMessageSize;
webSocketMaxBinaryMessageSize_ = webSocketMaxBinaryMessageSize;
webSocketMaxTextMessageBufferSize_ = webSocketMaxTextMessageBufferSize; } public int getWebSocketMaxBinaryMessageSize() { return webSocketMaxBinaryMessageSize_; } public void setWebSocketMaxBinaryMessageSize(final int webSocketMaxBinaryMessageSize) { <extra_id_0> } public int getWebSocketMaxBinaryMessageBufferSize() { return webSocketMaxBinaryMessageBufferSize_; } public void setWebSocketMaxBinaryMessageBufferSize(final int webSocketMaxBinaryMessageBufferSize) { webSocketMaxBinaryMessageBufferSize_ = webSocketMaxBinaryMessageBufferSize;