Merge pull request #11392 from aschackmull/java/adjust-mad-dispatch-priority

Java: Adjust the prioritisation between MaD and source dispatch.

java/ql/lib/semmle/code/java/dispatch/VirtualDispatch.qll

@@ -99,10 +99,12 @@ private module Dispatch {
   private predicate lowConfidenceDispatchType(SrcRefType t) {
     t instanceof TypeObject
     or
-    t instanceof FunctionalInterface
+    t instanceof Interface and not t.fromSource()
     or
     t.hasQualifiedName("java.io", "Serializable")
     or
+    t.hasQualifiedName("java.lang", "Iterable")
+    or
     t.hasQualifiedName("java.lang", "Cloneable")
     or
     t.getPackage().hasName("java.util") and t instanceof Interface