/src/main/java/org/htmlunit/html/DomElement.java
mouseDown( mouseOver_, ctrlKey, altKey, MouseEvent.BUTTON_LEFT) ;
mouseDown ( shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT ) ;
} return (P) page; } } synchronized (page) { if (triggerMouseEvents) { <extra_id_0> } if (handleFocus) { DomElement elementToFocus = null; if (this instanceof SubmittableElement || this instanceof HtmlAnchor && ATTRIBUTE_NOT_DEFINED != ((HtmlAnchor) this).getHrefAttribute()