static File javaxJarPath() {
  ret new File(userHome(), ".javax/x30.jar");
}