some comments
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
merge
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
merged
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
fixed string test case
fixed testcase assertion
fixed another assertion
additional test update
some comments