/* * generated by Xtext 2.12.0 */packageca.mcgill.ecse.dslreasoner.uiimportorg.eclipse.xtend.lib.annotations.FinalFieldsConstructor/** * Use this class to register components to be used within the Eclipse IDE. */@FinalFieldsConstructorclassVampireLanguageUiModuleextendsAbstractVampireLanguageUiModule{}