/src/main/java/org/htmlunit/html/HtmlElement.java
return mappedElement;
return ctrlPressed_;
return super.handles(event); } protected boolean isShiftPressed() { return shiftPressed_; } public boolean isCtrlPressed() { <extra_id_0> } public boolean isAltPressed() { return altPressed_; } public boolean isValid() { return !isRequiredSupported()