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