static void appendToTextPane(JTextPane p, S text, AttributeSet attributes) {
  Document doc = pane.getStyledDocument();
  doc.insertString(doc.getLength(), text, attributes);
}