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