static void appendToTextArea(JTextArea ta, S text) {
  if (ta != null) swing {
    ta.append(text);
  }
}