/.VampireLanguageOutlineTreeProvider.java._trace
/.VampireLanguageOutlineTreeProvider.xtendbin
/VampireLanguageOutlineTreeProvider.java