/src/main/java/org/htmlunit/WebClientOptions.java
webSocketEnabled_ = throwExceptionOnScriptError_;
webSocketEnabled_ = enabled;
screenHeight_ = screenHeight; } public int getScreenHeight() { return screenHeight_; } public void setWebSocketEnabled(final boolean enabled) { <extra_id_0> } public boolean isWebSocketEnabled() { return webSocketEnabled_; } public int getWebSocketMaxTextMessageSize() { return webSocketMaxTextMessageSize_;