Merge pull request #17547 from michaelnebel/java/jdk17update

Java: Update Java JDK 17 models.

java/ql/lib/change-notes/2024-10-04-jdk-models.md

@@ -0,0 +1,4 @@
+---
+category: majorAnalysis
+---
+* Java: The generated JDK 17 models have been updated.

java/ql/lib/ext/generated/java.applet.model.yml

@@ -7,13 +7,10 @@ extensions:
       - ["java.applet", "Applet", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "Applet", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "Applet", True, "getDocumentBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-      - ["java.applet", "Applet", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
+      - ["java.applet", "Applet", True, "getLocale", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "Applet", True, "setStub", "(AppletStub)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.applet", "AppletContext", True, "getApplets", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "AppletStub", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.applet", "AppletStub", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -26,24 +23,18 @@ extensions:
       - ["java.applet", "Applet", "getAppletInfo", "()", "summary", "df-generated"]
       - ["java.applet", "Applet", "getAudioClip", "(URL)", "summary", "df-generated"]
       - ["java.applet", "Applet", "getAudioClip", "(URL,String)", "summary", "df-generated"]
+      - ["java.applet", "Applet", "getImage", "(URL)", "summary", "df-generated"]
+      - ["java.applet", "Applet", "getImage", "(URL,String)", "summary", "df-generated"]
       - ["java.applet", "Applet", "getParameter", "(String)", "summary", "df-generated"]
       - ["java.applet", "Applet", "getParameterInfo", "()", "summary", "df-generated"]
       - ["java.applet", "Applet", "init", "()", "summary", "df-generated"]
       - ["java.applet", "Applet", "isActive", "()", "summary", "df-generated"]
+      - ["java.applet", "Applet", "isValidateRoot", "()", "summary", "df-generated"]
       - ["java.applet", "Applet", "newAudioClip", "(URL)", "summary", "df-generated"]
       - ["java.applet", "Applet", "play", "(URL)", "summary", "df-generated"]
       - ["java.applet", "Applet", "play", "(URL,String)", "summary", "df-generated"]
+      - ["java.applet", "Applet", "resize", "(Dimension)", "summary", "df-generated"]
+      - ["java.applet", "Applet", "resize", "(int,int)", "summary", "df-generated"]
       - ["java.applet", "Applet", "showStatus", "(String)", "summary", "df-generated"]
       - ["java.applet", "Applet", "start", "()", "summary", "df-generated"]
       - ["java.applet", "Applet", "stop", "()", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "getApplet", "(String)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "getAudioClip", "(URL)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "getStream", "(String)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "getStreamKeys", "()", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "setStream", "(String,InputStream)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "showDocument", "(URL)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "showDocument", "(URL,String)", "summary", "df-generated"]
-      - ["java.applet", "AppletContext", "showStatus", "(String)", "summary", "df-generated"]
-      - ["java.applet", "AppletStub", "appletResize", "(int,int)", "summary", "df-generated"]
-      - ["java.applet", "AppletStub", "getParameter", "(String)", "summary", "df-generated"]
-      - ["java.applet", "AppletStub", "isActive", "()", "summary", "df-generated"]