static File javaxVirtualDir_dir; // can be set to work on different base dir

static File javaxVirtualDir() {
  ret javaxVirtualDir_dir != null ? javaxVirtualDir_dir : new File(actualUserHome(), "JavaX-Virtual");
}

static File javaxVirtualDir(S... subs) {
  ret newFile(javaxVirtualDir(), subs);
}