/src/main/java/org/htmlunit/html/HtmlElement.java
fireEvent ( keyUp ) ;
shiftPressed_, ctrlPressed_, altPressed_); fireEvent(input); } if (fireKeyUp) { final Event keyUp = new KeyboardEvent(this, Event.TYPE_KEY_UP, keyCode, shiftPressed_, ctrlPressed_, altPressed_); <extra_id_0> } return page.getWebClient().getCurrentWindow().getEnclosedPage(); } protected void doType(final char c, final boolean lastType) { final DomText domText = getDoTypeNode(); if (domText != null) {