[Soot-list] Minor breaking change to Heros

[Eric Bodden]

Hi all.

Just a brief note to those of you using Heros: There was a bit of confusion because Heros actually implements a MeetLattice, but it was previously accidentally called JoinLattice. I have rectified this now by renaming the appropriate class and related methods. If you use the current snapshot or the new release 1.2.0 then you will have to update some of your code accordingly. This should be pretty straightforward.

Semantically, nothing changed.

Best wishes
Eric