/.VampireLanguageQuickfixProvider.java._trace
/.VampireLanguageQuickfixProvider.xtendbin
/VampireLanguageQuickfixProvider.java