Small tweak to null fix patch: Now it filters out all touch events between the last UP message and the next DOWN message, and does not pass them to the GestureDetector, thus avoiding crashes caused by missing DOWN touch events caused by touch interception by other ui components