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