Merge pull request #6 from malaverdiere/merge-develop

Improved output of the results
fixed NPexception
fixed spurious error message
Merge branch 'develop' of ssh://github.com/secure-software-engineering/soot-infoflow into merge-develop

Conflicts:
	src/soot/jimple/infoflow/entryPointCreators/BaseEntryPointCreator.java