// first save the axioms
ZipEntry axiomsEntry = new ZipEntry( MODULE_EXTRACTOR_AXIOMS_FILE_NAME );
outputStream.putNextEntry( axiomsEntry );
ModuleExtractorPersistence.saveAxioms( axiomEntities.keySet(), new UncloseableOutputStream( outputStream ) );
// next save the modules
ZipEntry modulesEntry = new ZipEntry( MODULE_EXTRACTOR_MODULES_FILE_NAME );
outputStream.putNextEntry( modulesEntry );
ModuleExtractorPersistence.saveModules( modules, new UncloseableOutputStream( outputStream ) );
outputStream.flush();
}