fis = new FileInputStream(fileName);
all = factory.makeModules(factory.makeModule_Modulentry(
factory.makeModuleName_Name(""), factory
.makeImports(), factory.makeSorts(),
factory.EntriesFromFile(fis)));
}
}
return ADT.initialize(all);
} catch (FileNotFoundException e) {