static S runTranslator(S text, S translatorID) {
    Class javax = getJavaX();
    File x = makeTempDir();
    saveTextFile(new File(x, "main.java"), text);
    new List<File> libraries_out;
    
    File y = cast call(javax, "applyTranslator", x, translatorID, "", libraries_out);
    if (y == null) return null;
    return loadTextFile(new File(y, "main.java"));
  }
  
  static L<S> runTranslator(L<S> tok, S translatorID) {
    ret javaTok(runTranslator(join(tok), translatorID));
  }