Eclipse Collections#877

ak-go wants to merge 4 commits into

secure-software-engineering:developsecure-software-engineering/FlowDroid:developfrom

ak-go:developak-go/FlowDroid:developCopy head branch name to clipboard