static File programDir_mine; // set this to relocate program's data

static File programDir() {
  ret programDir(getProgramID());
}

static File programDir(String snippetID) {
  if (programDir_mine != null && sameSnippetID(snippetID, programID()))
    return programDir_mine;
  File dir = newFile(javaxDataDir(), formatSnippetID(snippetID));
  S c = caseID();
  if (nempty(c)) dir = newFile(dir, c);
  ret dir;
}