<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_93k1b77hne9nr6prb1766j05gr, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static File projectForLocalCompilation(File destZip, S programID) {
  temp var zipOut = zipOutputStream(destZip);
  Pair<S, LS> p = extractLibsFromTranspilation(getServerTranspiled2(programID));
  text2zip(p.a, zipOut, "main.java");
  new LS libPaths;
  new LS toCompile;
  for (lib : p.b) {
    S libPath = "lib" + lib + ".jar";
    libPaths.add(libPath);
    file2zip(loadLibraryOrSrcLib(lib), zipOut, libPath);
    if (isSrcLib(lib))
      text2zip(zipOut, addAndReturn(toCompile, "loadableUtils/utils.java"), getServerTranspiledWithoutLibs(lib)); // TODO
  }
  libPaths.add("x30.jar");
  file2zip(pathToJavaxJar(), zipOut, "x30.jar");
  text2zip("javac -source 11 -target 11 -cp " + join(":", libPaths) + " main.java " + joinWithSpace(toCompile) + "\n", zipOut, "compile");
  text2zip("java -cp .:" + join(":", libPaths) + " main\n", zipOut, "run");
  ret destZip;
}

static File projectForLocalCompilation(S programID, File destZip) {
  ret projectForLocalCompilation(destZip, programID);
}