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