/src/main/java/org/htmlunit/html/HtmlElement.java
doType( lastType, c) ;
doType ( c, lastType ) ;
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)) && !keyPress.isAborted(keyPressResult)) { <extra_id_0> } } final WebClient webClient = page.getWebClient(); if (this instanceof HtmlTextInput || this instanceof HtmlTextArea || this instanceof HtmlTelInput