1 2 3 4 5 6
/.VampireLanguageIdeModule.java._trace /.VampireLanguageIdeSetup.java._trace /.VampireLanguageIdeModule.xtendbin /.VampireLanguageIdeSetup.xtendbin /VampireLanguageIdeModule.java /VampireLanguageIdeSetup.java