static class JavaXClassLoader extends URLClassLoader {
  S progID;
  L<File> files;
  
  *(S progID, L<File> files) {
    super(new URL[0]);
    this.progID = progID;
    this.files = files;
    
    ctex {
      for (File f : files)
        addURL(f.toURI().toURL());
    }
  }
}