Equality of Locals in Soot Version 1.beta.4

["James C. Corbett" <corbett@mit.edu>]

From beta.3 to beta.4, the definition of equals() for Locals seems to
have changed.  In beta.3, Locals were not equal() unless they were the 
same Local, while in beta.4, Locals seems to test equal() if they have 
the same name, even if they are distinct locals in different methods.

Was there a reason for this change?  

I am storing Locals in a Hashtable (using the Local as the key), but
the change in equals() breaks this.  I could generate a unique key for
a Local from the names of the class, method, and local, but I'm
wondering if this is a bug?

James Corbett