static S defaultTranslate(S text) {
  Class javax = getJavaX();
  File x = makeTempDir();
  saveTextFile(new File(x, "main.java"), text);
  new L<File> libraries_out;
  new LS libraries2_out;
  File y = cast call(javax, "defaultTranslate", x, libraries_out, libraries2_out);
  if (y == null) return null;
  return loadTextFile(new File(y, "main.java"));
}