[starvation] also consider subclasses of Future

Reviewed By: jberdine

Differential Revision: D10192090

fbshipit-source-id: 94384a4a5

infer/src/concurrency/StarvationModels.ml

@@ -119,8 +119,7 @@ let standard_matchers =
     [ { default with
         classname= "java.util.concurrent.Future"
       ; methods= ["get"]
-      ; actuals_pred= empty_or_excessive_timeout
-      ; search_superclasses= false }
+      ; actuals_pred= empty_or_excessive_timeout }
     ; { default with
         classname= "android.os.AsyncTask"
       ; methods= ["get"]