static File failureLog() {
  ret new File(javaxDataDir(), "failure-log.txt");
}