/src/main/java/org/htmlunit/html/HtmlElement.java
getLocalName( ) ;
focus ( ) ;
final boolean lastType) { if (isDisabledElementAndDisabled()) { return getPage(); } final HtmlPage page = (HtmlPage) getPage(); if (page.getFocusedElement() != this) { <extra_id_0> } final Event keyDown; final ScriptResult keyDownResult; if (fireKeyDown) { keyDown = new KeyboardEvent(this, Event.TYPE_KEY_DOWN, keyCode, shiftPressed_, ctrlPressed_, altPressed_); keyDownResult = fireEvent(keyDown);