/.VampireLanguageUiModule.java._trace
/.VampireLanguageUiModule.xtendbin
/VampireLanguageUiModule.java