!7

p {
  File jarFile = javaxArtifactsDir("linecomp-0.3.jar");
  S mainProgramID = #1028231;
  S mainClassName = "main";
  
  Pair<File, S> programJarAndSrc = CompilerBot.compileSnippet2(mainProgramID);

  temp ZipOutputStream jar = zipOutputStream(jarFile);
  makeManifestWithMainClass(jar, mainClassName);
      
  zip2zip_exceptManifest2(programJarAndSrc.a, jar,
    // exclude those:
    litset("main.java"));
      
  makeExecutable(jarFile);
  fileSavedInfoBox(jarFile);
}