tag for modguard v1.0
no message
Tagging PLDI 2013 version
Tagging the 2.5.0 release of the Soot project.
Tagging the 2.4.0 release of the Soot project.
Tagging the 2.3.0 release of the Soot project.
fixing up Soot version number
Tagging the 2.2.4 release of the Soot project.
Tagging the 2.2.3 release of the Soot project.