static JTextArea disableTextArea(final JTextArea ta) {
  if (ta != null) swing { ta.setEnabled(false); }
  ret ta;
}