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