static File deleteModulesLogFile() {
  ret javaxDataDir("deleted-modules.log");
}