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