change to match refactoring in soot-infoflow