org.eclipse.viatra.solver.language
org.eclipse.jdt.core.javabuilder
org.eclipse.xtext.ui.shared.xtextBuilder
org.eclipse.buildship.core.gradleprojectbuilder
org.eclipse.buildship.core.gradleprojectnature
org.eclipse.xtext.ui.shared.xtextNature
org.eclipse.jdt.core.javanature