Provenance should be "df-manual"

Author: owen-mc

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

@@ -114,7 +114,7 @@ extensions:
       - ["java.lang", "String", False, "indent", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.lang", "String", False, "intern", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.lang", "String", False, "join", "", "", "Argument[0..1]", "ReturnValue", "taint", "manual"]
-      - ["java.lang", "String", False, "lines", "()", "", "Argument[this]", "ReturnValue.Element", "taint", "df-generated"]
+      - ["java.lang", "String", False, "lines", "()", "", "Argument[this]", "ReturnValue.Element", "taint", "df-manual"]
       - ["java.lang", "String", False, "repeat", "(int)", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.lang", "String", False, "replace", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.lang", "String", False, "replace", "", "", "Argument[1]", "ReturnValue", "taint", "manual"]

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

@@ -527,11 +527,11 @@ extensions:
       - ["java.util", "Optional", "isPresent", "()", "summary", "manual"]
       - ["java.util", "Random", "nextInt", "(int)", "summary", "manual"]
       - ["java.util", "ResourceBundle", "getBundle", "", "summary", "df-manual"]
-      - ["java.util", "Scanner", "delimiter", "()", "summary", "df-generated"]
-      - ["java.util", "Scanner", "hasNext", "(Pattern)", "summary", "df-generated"]
-      - ["java.util", "Scanner", "hasNext", "(String)", "summary", "df-generated"]
-      - ["java.util", "Scanner", "ioException", "()", "summary", "df-generated"]
-      - ["java.util", "Scanner", "locale", "()", "summary", "df-generated"]
+      - ["java.util", "Scanner", "delimiter", "()", "summary", "df-manual"]
+      - ["java.util", "Scanner", "hasNext", "(Pattern)", "summary", "df-manual"]
+      - ["java.util", "Scanner", "hasNext", "(String)", "summary", "df-manual"]
+      - ["java.util", "Scanner", "ioException", "()", "summary", "df-manual"]
+      - ["java.util", "Scanner", "locale", "()", "summary", "df-manual"]
       - ["java.util", "Set", "contains", "(Object)", "summary", "manual"]
       - ["java.util", "Set", "isEmpty", "()", "summary", "manual"]
       - ["java.util", "Set", "size", "()", "summary", "manual"]