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