in mps-maven-plugin/src/main/java/org/jetbrains/mps/mavenplugin/GenerateJavaMojo.java [186:201]
private static File extractDependency(File temporaryWorkingDirectory, ZipExtractor extractor,
ArtifactCoordinates artifactCoordinates, File artifactFile) throws IOException {
File extractedRoot;
if (!ArtifactTypes.ZIP.equals(artifactCoordinates.extension)) {
extractedRoot = artifactFile;
} else {
File dir = new File(temporaryWorkingDirectory, artifactFile.getName());
if (dir.exists()) {
throw new IOException(String.format("Cannot extract file %s: directory %s already exists",
artifactFile, dir));
}
extractor.extract(artifactFile, dir);
extractedRoot = dir;
}
return extractedRoot;
}