bugfix: Use IdentityHashSet in propagator for Spark. This is necessary because PointsToSetInternal now implements equals/hashCode. Spark now runs about a factor 5 faster.
bugfix: Use IdentityHashSet in propagator for Spark. This is necessary because PointsToSetInternal now implements equals/hashCode. Spark now runs about a factor 5 faster.

mbenz89/soot,xph906/SootNew,anddann/soot,mbenz89/soot,plast-lab/soot,plast-lab/soot,xph906/SootNew,cfallin/soot,xph906/SootNew,anddann/soot,anddann/soot,xph906/SootNew,cfallin/soot,mbenz89/soot,plast-lab/soot,cfallin/soot,mbenz89/soot,anddann/soot,cfallin/soot