static JTextArea showTextHighlightingLine(S title, S text, int line) {
  JTextArea ta = showText(title, text);
  selectLineInTextArea(ta, line);
  ret ta;
}