static File snippetDB_dir(S snippetID) {
  ret javaxDataDir("Snippet-DB");
}