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

//ifdef NoJavaXJar
//static File pathToJavaxJar() { null; }
//endifdef

//ifndef NoJavaXJar
  static File pathToJavaxJar() {
      ifndef NoResourceLoader
      IResourceLoader rl = vm_getResourceLoader();
      if (rl != null)
        ret rl.pathToJavaXJar();
      endifndef
      
      ret pathToJavaxJar_noResourceLoader();
  }
    
  static File pathToJavaxJar_noResourceLoader() ctex {
    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