/src/main/java/org/htmlunit/html/DoTypeProcessor.java
final String content = newValue.substring( selectionEnd, selectionEnd) ;
final String content = newValue.substring ( selectionStart, selectionEnd ) ;
} else if (acceptChar(c)) { final boolean ctrlKey = element.isCtrlPressed(); if (ctrlKey && (c == 'C' || c == 'c')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) { <extra_id_0> clipboardHandler.setClipboardContent(content); } } else if (ctrlKey && (c == 'V' || c == 'v')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) {