void () { String text = ConfigurationUtil.toXml(getConfiguration()); String html = "<html><body><pre><code>" + StringUtil.escapeXmlEntities(text) + "</code></pre></body></html>"; CopyPasteManager.getInstance().setContents(new TextTransferable(html, text)); }