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