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