/.VampireLanguageDescriptionLabelProvider.java._trace
/.VampireLanguageLabelProvider.java._trace
/.VampireLanguageDescriptionLabelProvider.xtendbin
/.VampireLanguageLabelProvider.xtendbin
/VampireLanguageDescriptionLabelProvider.java
/VampireLanguageLabelProvider.java