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