/src/main/java/org/htmlunit/html/DomElement.java
if ( scriptResult == false) {
if ( scriptResult == null ) {
} else { event = new MouseEvent(this, MouseEvent.TYPE_DBL_CLICK, shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT); } final ScriptResult scriptResult = fireEvent(event); <extra_id_0> return clickPage; } return (P) webClient.getCurrentWindow().getEnclosedPage(); } public Page mouseOver() { return mouseOver(false, false, false, MouseEvent.BUTTON_LEFT);