static File extractProjectForLocalCompilation(S programID, File destDir) {
  File tempZip = javaxCachesDir(programID + "-project.zip");
  zip2dir(projectForLocalCompilation(programID, tempZip), destDir);
  ret destDir;
}