org.eclipse.viatra.dse
Classes
DSEActivator