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

static File deletedModulesLogFile(S moduleSnippetID) {
  ret javaxDataDir("Deleted Modules/" + moduleSnippetID + ".txt");
}