/src/main/java/org/htmlunit/html/HtmlElement.java
final Event keyUp = new KeyboardEvent( this, Event.TYPE_KEY_UP, c, shiftPressed_ || isShiftNeeded, ctrlPressed_) ;
final Event keyUp = new KeyboardEvent ( this, Event.TYPE_KEY_UP, c, shiftPressed_ || isShiftNeeded, ctrlPressed_, altPressed_ ) ;
} else { eventSource = page.getBody(); } } if (eventSource != null) { <extra_id_0> eventSource.fireEvent(keyUp); if (isShiftNeeded) { final Event shiftUp = new KeyboardEvent(this, Event.TYPE_KEY_UP, KeyboardEvent.DOM_VK_SHIFT, false, ctrlPressed_, altPressed_); eventSource.fireEvent(shiftUp);