hu.bme.mit.inf.dlsreasoner.alloy.reasoner org.eclipse.viatra.query.tooling.core.projectbuilder org.eclipse.xtext.ui.shared.xtextBuilder org.eclipse.jdt.core.javabuilder org.eclipse.pde.ManifestBuilder org.eclipse.pde.SchemaBuilder org.eclipse.pde.PluginNature org.eclipse.jdt.core.javanature org.eclipse.xtext.ui.shared.xtextNature org.eclipse.viatra.query.projectnature