/src/main/java/org/htmlunit/html/HtmlElement.java
if ( isShiftNeeded) {   final Event shiftUp = new KeyboardEvent( this, TYPE_KEY_UP, DOM_VK_SHIFT, false, ctrlPressed_, altPressed_) ;   eventSource.fireEvent( shiftUp) ; }
[Delete]
focus(); } final boolean isShiftNeeded = KeyboardEvent.isShiftNeeded(c, shiftPressed_); final Event shiftDown; final ScriptResult shiftDownResult; if (isShiftNeeded) { <extra_id_0> true, ctrlPressed_, altPressed_); shiftDownResult = fireEvent(shiftDown); } else { shiftDown = null; shiftDownResult = null;