// Copy selection to clipboard
Document selection = (Document)document.removeRange(selectionStart, selectionLength);
String selectedText = null;
try {
PlainTextSerializer serializer = new PlainTextSerializer();
StringWriter writer = new StringWriter();
serializer.writeObject(selection, writer);
selectedText = writer.toString();
} catch(SerializationException exception) {
throw new RuntimeException(exception);
} catch(IOException exception) {
throw new RuntimeException(exception);