/src/main/java/org/htmlunit/Screen.java
return left;
return screenWidth_;
public int getTop() { return 0; } public void setTop(final int top) { } public int getWidth() { <extra_id_0> } public void setWidth(final int width) { } }