/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/
../
ProblemIdeModule.java
ProblemIdeSetup.java
syntaxcoloring