in mps-maven-plugin/src/main/java/org/jetbrains/mps/mavenplugin/ZipExtractor.java [45:53]
private static File extract(ZipFile zipFile, ZipEntry entry, File destinationDirectory) throws IOException {
File destFile = new File(destinationDirectory, entry.getName());
try (InputStream input = zipFile.getInputStream(entry);
FileOutputStream output = FileUtils.openOutputStream(destFile)) {
IOUtils.copy(input, output);
return destFile;
}
}