updated DroidForce to be compatible with the new version of FlowDroid