/src/main/java/org/htmlunit/html/DomElement.java
( ( HtmlPage ) page ) .setFocusedElement ( null ) ;
elementToFocus = this; } else if (this instanceof HtmlOption) { elementToFocus = ((HtmlOption) this).getEnclosingSelect(); } if (elementToFocus == null) { <extra_id_0> } else { elementToFocus.focus(); } } if (triggerMouseEvents) {