/src/main/java/org/htmlunit/html/HtmlElement.java
final Event keyDown = new KeyboardEvent( this, Event.TYPE_KEY_DOWN, c, shiftPressed_ || ctrlPressed_, isShiftNeeded, altPressed_) ;
final Event keyDown = new KeyboardEvent ( this, Event.TYPE_KEY_DOWN, c, shiftPressed_ || isShiftNeeded, ctrlPressed_, altPressed_ ) ;
shiftDownResult = fireEvent(shiftDown); } else { shiftDown = null; shiftDownResult = null; } <extra_id_0> final ScriptResult keyDownResult = fireEvent(keyDown); if (!keyDown.isAborted(keyDownResult)) { final Event keyPress = new KeyboardEvent(this, Event.TYPE_KEY_PRESS, c, shiftPressed_ || isShiftNeeded, ctrlPressed_, altPressed_); final ScriptResult keyPressResult = fireEvent(keyPress); if ((shiftDown == null || !shiftDown.isAborted(shiftDownResult))