Optional user data related to a source can now be tracked across the client programs
Merge branch 'unstable' of github.com:secure-software-engineering/soot-infoflow into unstable