in mps-maven-plugin/src/main/java/org/jetbrains/mps/mavenplugin/ZipExtractor.java [22:40]
void extract(File archive, File toDirectory) throws IOException {
if (log.isDebugEnabled()) {
log.debug("Extracting " + archive + " to " + toDirectory);
}
int count = 0;
try (ZipFile zipFile = new ZipFile(archive, ZipFile.OPEN_READ)) {
Enumeration<? extends ZipEntry> entries = zipFile.entries();
while (entries.hasMoreElements()) {
ZipEntry entry = entries.nextElement();
if (entry.isDirectory()) continue;
log.debug("Extracting " + entry.getName());
extract(zipFile, entry, toDirectory);
count++;
}
}
log.debug("Extracted " + count + " files successfully");
}