Add new option.
Merge branch 'develop' of https://github.com/Sable/soot into develop
Remove files that often have conflicts with official soot.
Merge branch 'develop' of https://github.com/Sable/soot into develop

Conflicts:
	.classpath
Bug fix: wrong parameter used in querying global object points-to information.
Roll back to the original version.
Roll back again. Correct version.
roll back again.
Merge pull request #268 from richardxx/develop

Develop