/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src/ca/mcgill/ecse/dslreasoner/ui/labeling/
../
VampireLanguageDescriptionLabelProvider.xtend
VampireLanguageLabelProvider.xtend