/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src/hu/bme/mit/inf/dslreasoner/ui/
../
AlloyLanguageUiModule.java
contentassist
labeling
outline
quickfix