changed SourceSinkManager to be compatible with new FlowDroid version