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