svoid standalone_unpackGazelleConcepts(File unpackDir) { File conceptsArchive = newFile(unpackDir, "gazelle-concepts.zip"); stream2file(mc().getResourceAsStream("/" + conceptsArchive.getName()), conceptsArchive); for (S path : filesInZipFile(conceptsArchive)) { S progID = regexpFirstGroup("(#[0-9]+)/concepts.structure.gz", path); if (progID == null) continue with warn("Bad file name: " + path); print("Overwriting concepts of " + progID); clearConceptsOf(progID); extractFileFromZip(conceptsArchive, path, javaxDataDir(path)); } }