/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/
../
MANIFEST.MF