/Application/org.eclipse.viatra.solver.language.ui/src/org/
../
eclipse