1 2 3 4 5 6
/.VampireLanguageDescriptionLabelProvider.java._trace /.VampireLanguageLabelProvider.java._trace /.VampireLanguageDescriptionLabelProvider.xtendbin /.VampireLanguageLabelProvider.xtendbin /VampireLanguageDescriptionLabelProvider.java /VampireLanguageLabelProvider.java