/* * generated by Xtext */packagehu.bme.mit.inf.dslreasoner.ui;importorg.eclipse.ui.plugin.AbstractUIPlugin;/** * Use this class to register components to be used within the IDE. */publicclassAlloyLanguageUiModuleextendshu.bme.mit.inf.dslreasoner.ui.AbstractAlloyLanguageUiModule{publicAlloyLanguageUiModule(AbstractUIPluginplugin){super(plugin);}}