Java: change negative to neutral

Author: Jami Cogswell

java/ql/lib/ext/java.lang.model.yml

@@ -103,7 +103,7 @@ extensions:
 
   - addsTo:
       pack: codeql/java-all
-      extensible: extNegativeSummaryModel
+      extensible: extNeutralModel
     data:
       - ["java.lang", "Object", "toString", "()", "manual"]
       - ["java.lang", "Object", "equals", "(Object)", "manual"]

java/ql/lib/ext/java.util.model.yml

@@ -358,7 +358,7 @@ extensions:
 
   - addsTo:
       pack: codeql/java-all
-      extensible: extNegativeSummaryModel
+      extensible: extNeutralModel
     data:
       - ["java.util", "Objects", "equals", "(Object,Object)", "manual"]
       - ["java.util", "Collection", "size", "()", "manual"]

java/ql/lib/ext/java.util.stream.model.yml

@@ -90,6 +90,6 @@ extensions:
 
   - addsTo:
       pack: codeql/java-all
-      extensible: extNegativeSummaryModel
+      extensible: extNeutralModel
     data:
       - ["java.util.stream", "Collectors", "toList", "()", "manual"]

java/ql/test/ext/TopJdkApis/TopJdkApis.qll

@@ -73,7 +73,7 @@ class TopJdkApi extends Callable {
 
   /** Holds if this API has a manual neutral model. */
   private predicate hasManualNeutral() {
-    exists(FlowSummaryImpl::Public::NegativeSummarizedCallable nsc |
+    exists(FlowSummaryImpl::Public::NeutralCallable nsc |
       this = nsc.asCallable() and nsc.hasProvenance(false)
     )
   }