/src/main/java/org/htmlunit/WebClientOptions.java
webSocketMaxTextMessageBufferSize_ = webSocketMaxTextMessageBufferSize;webSocketMaxTextMessageSize_ = webSocketMaxTextMessageSize;
webSocketMaxTextMessageSize_ = webSocketMaxTextMessageSize;
return webSocketEnabled_; } public int getWebSocketMaxTextMessageSize() { return webSocketMaxTextMessageSize_; } public void setWebSocketMaxTextMessageSize(final int webSocketMaxTextMessageSize) { <extra_id_0> } public int getWebSocketMaxTextMessageBufferSize() { return webSocketMaxTextMessageBufferSize_; } public void setWebSocketMaxTextMessageBufferSize(final int webSocketMaxTextMessageBufferSize) { webSocketMaxTextMessageBufferSize_ = webSocketMaxTextMessageBufferSize;