/src/main/java/org/htmlunit/Screen.java
screenWidth_ = webClient.getOptions ( ) .getScreenWidth ( ) ;
import java.io.Serializable; public class Screen implements Serializable { private final int screenHeight_; private final int screenWidth_; public Screen(final WebClient webClient) { screenHeight_ = webClient.getOptions().getScreenHeight(); <extra_id_0> } public int getAvailHeight() { return 1040; } public void setAvailHeight(final int availHeight) { }