Add new option.
Merge branch 'develop' of https://github.com/Sable/soot into develop
Remove files that often have conflicts with official soot.
Improves the save procedure of the local register mapping.
performance improvements
Merge branch 'develop' of github.com:Sable/soot into develop
stability fix
Reverted to distinct def/use analyses because the dude who implemented the combined one apparently knew nothing of efficient coding and the class blows up your memory insanely.
removed dangling "if"
fixed possible NullPointerException
Merge pull request #261 from martinschaef/patch-5

removed dangling "if"
Merge pull request #260 from martinschaef/patch-6

fixed possible NullPointerException
Merge pull request #251 from MarcMil/develop

Improves the save procedure of the local register mapping.
fixed a bug dragged in through a merge request
fixed a NullPointerException
removed bogus comment
Merge branch 'develop' of https://github.com/Sable/soot into develop
fixes #255
fixes #234
removed the penalty for impossible casts as we have a different solution for this anyway and this seems to have caused #259.