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.
Merge pull request #256 from torunRuwor/develop

Fix Issue #255
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