static JTextArea showLog(File file) {
  ret showText(file.getAbsolutePath(), unquoteLogForDisplay(file));
}

static JTextArea showLog(S progID, S file) {
  ret showLog(getProgramFile(progID, file));
}