fixed repo-urls in soot.psf
some code refactoring
refactored interactive information flow handling;
replaced the expensive TreeSet with a BitSet
replaced internal list with array
introduced generics
improved answer intersection and live-local test
eyecandy for sourcecode
Merge remote-tracking branch 'upstream/develop' into develop
minor modifications
Merge remote-tracking branch 'upstream/develop' into develop
Merge commit '76cadf17a3db34aef098256bfa7ecbf97e542b17' into develop
(first set of optimizations by Steven Lambeth)