[abc] soot and jasmin jars on musketeer have changed name

Hi all,

The soot jar on musketeer is now at
/usr/local/src/soot-dev/lib/sootclasses-2.2.0-custom.jar and the jasmin
one is /usr/local/src/jasmin-dev/lib/jasminclasses-2.1.1-custom.jar

Apologies if this causes hassle but I thought it was best to make the
names be sensible so that it's clear what's what.

As before, you can look in /usr/local/src/abc-dev/ant.settings to find
this out.

Ganesh
Received on Thu Dec 23 18:59:53 2004