/src/main/java/org/htmlunit/html/HtmlElement.java
final boolean isShiftNeeded = KeyboardEvent.isShiftNeeded( c, notifyMutationObservers) ;
final boolean isShiftNeeded = KeyboardEvent.isShiftNeeded ( c, shiftPressed_ ) ;
} getPage().getWebClient().setCurrentWindow(getPage().getEnclosingWindow()); final HtmlPage page = (HtmlPage) getPage(); if (page.getFocusedElement() != this) { focus(); } <extra_id_0> final Event shiftDown; final ScriptResult shiftDownResult; if (isShiftNeeded) { shiftDown = new KeyboardEvent(this, Event.TYPE_KEY_DOWN, KeyboardEvent.DOM_VK_SHIFT, true, ctrlPressed_, altPressed_); shiftDownResult = fireEvent(shiftDown);