/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.settings/
../
org.eclipse.jdt.core.prefs