class HenshinGenerationManager added
2 files changed