/src/main/java/org/htmlunit/html/HtmlElement.java
keyDown = null;keyDownResult = null;
keyDownResult = null;
if (fireKeyDown) { keyDown = new KeyboardEvent(this, Event.TYPE_KEY_DOWN, keyCode, shiftPressed_, ctrlPressed_, altPressed_); keyDownResult = fireEvent(keyDown); } else { keyDown = null; <extra_id_0> } final BrowserVersion browserVersion = page.getWebClient().getBrowserVersion(); final Event keyPress; final ScriptResult keyPressResult; if (fireKeyPress && browserVersion.hasFeature(KEYBOARD_EVENT_SPECIAL_KEYPRESS)) { keyPress = new KeyboardEvent(this, Event.TYPE_KEY_PRESS, keyCode,