static JTextArea autoScroll(JTextArea t) {
  DefaultCaret caret = (DefaultCaret) t.getCaret();
  caret.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
  ret t;
}