I don't really understand what's going on here. I'm sure that the problem is not with hashCode. If you send me your test case and instructions on how you're running Soot, I can take a look. pat