// TODO: use actualUserHome()?
// (there was a problem with onLocallyInferiorJavaX() always triggering inside #1013896)

static File pathToJavaxJar() {
  ifndef NoJavaXJar
    ifndef NoResourceLoader
    IResourceLoader rl = vm_getResourceLoader();
    if (rl != null)
      ret rl.pathToJavaXJar();
    endifndef
    
    ret pathToJavaxJar_noResourceLoader();
  endifndef
  ifdef NoJavaXJar
    ret null;
  endifdef
}
    
static File pathToJavaxJar_noResourceLoader() ctex {
  ifndef NoJavaXJar
    int x = latestInstalledJavaX();
    File xfile = new File(userHome(), ".javax/x" + Math.max(x, 30) + ".jar");
    if (!xfile.isFile()) {
      print("Saving " + f2s(xfile));
      String url = x30JarServerURL();
      byte[] data = loadBinaryPage(url);
      if (data.length < 1000000)
        fail("Could not load " + url);
      saveBinaryFile(xfile.getPath(), data);
    }
    ret xfile;
  
  endifndef
  ifdef NoJavaXJar
  ret null;
  endifdef
}

Began life as a copy of #1000838