/src/main/java/org/htmlunit/html/DoTypeProcessor.java
add( newValue, c, selectionStart, selectionEnd) ;final String content = newValue.substring( selectionStart, selectionEnd) ;
final String content = newValue.substring ( selectionStart, selectionEnd ) ;
selectionEnd = selectionStart; } } else if (ctrlKey && (c == 'X' || c == 'x')) { final ClipboardHandler clipboardHandler = element.getPage().getWebClient().getClipboardHandler(); if (clipboardHandler != null) { <extra_id_0> clipboardHandler.setClipboardContent(content); newValue.delete(selectionStart, selectionEnd); selectionEnd = selectionStart; } } else if (ctrlKey && (c == 'A' || c == 'a')) {