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