Add some neutral models for java.util

Author: owen-mc

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

@@ -415,6 +415,7 @@ extensions:
  - ["java.util", "ArrayList", "ArrayList", "(int)", "summary", "manual"]
  - ["java.util", "ArrayList", "isEmpty", "()", "summary", "manual"]
  - ["java.util", "ArrayList", "size", "()", "summary", "manual"]
+ - ["java.util", "Arrays", "deepToString", "(Object[])", "summary", "df-manual"]
  - ["java.util", "Arrays", "toString", "(Object[])", "summary", "manual"]
  - ["java.util", "Calendar", "getInstance", "()", "summary", "manual"]
  - ["java.util", "Collection", "contains", "(Object)", "summary", "manual"]
@@ -454,6 +455,8 @@ extensions:
  - ["java.util", "Set", "contains", "(Object)", "summary", "manual"]
  - ["java.util", "Set", "isEmpty", "()", "summary", "manual"]
  - ["java.util", "Set", "size", "()", "summary", "manual"]
+ - ["java.util", "TreeMap", "TreeMap", "(Comparator)", "summary", "df-manual"]
+ - ["java.util", "TreeSet", "TreeSet", "(Comparator)", "summary", "df-manual"]
  - ["java.util", "UUID", "equals", "(Object)", "summary", "manual"]
  - ["java.util", "UUID", "fromString", "(String)", "summary", "manual"]
  - ["java.util", "UUID", "randomUUID", "()", "summary", "manual"]