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

static File javaxCodeDir() {
  ret javaxCodeDir_dir != null ? javaxCodeDir_dir : new File(userHome(), "JavaX-Code");
}