1 2 3
/.VampireLanguageOutlineTreeProvider.java._trace /.VampireLanguageOutlineTreeProvider.xtendbin /VampireLanguageOutlineTreeProvider.java