/src/main/java/org/htmlunit/html/DoTypeProcessor.java
if ( selectionEnd == newValue.length( ) ) {
if ( selectionStart == newValue.length ( ) ) {
else { newValue.replace(selectionStart, selectionEnd, Character.toString(c)); } } private static void add(final StringBuilder newValue, final String string, final int selectionStart, final int selectionEnd) { <extra_id_0> newValue.append(string); } else { newValue.replace(selectionStart, selectionEnd, string); } }