diff --git a/java/ql/src/semmle/code/java/frameworks/JavaxJson.qll b/java/ql/src/semmle/code/java/frameworks/JavaxJson.qll
index cc1b9ccf9f7..b361343451e 100644
--- a/java/ql/src/semmle/code/java/frameworks/JavaxJson.qll
+++ b/java/ql/src/semmle/code/java/frameworks/JavaxJson.qll
@@ -8,129 +8,129 @@ private import semmle.code.java.dataflow.ExternalFlow
 private class FlowSummaries extends SummaryModelCsv {
   override predicate row(string row) {
     row =
-      ["javax", "jakarta"] + ".json;" +
+      ["javax", "jakarta"] +
         [
-          "Json;false;createArrayBuilder;(JsonArray);;Argument[0];ReturnValue;taint",
-          "Json;false;createArrayBuilder;(Collection);;Element of Argument[0];ReturnValue;taint",
-          "Json;false;createDiff;;;Argument[0..1];ReturnValue;taint",
-          "Json;false;createMergeDiff;;;Argument[0..1];ReturnValue;taint",
-          "Json;false;createMergePatch;;;Argument[0];ReturnValue;taint",
-          "Json;false;createObjectBuilder;(JsonObject);;Argument[0];ReturnValue;taint",
-          "Json;false;createObjectBuilder;(Map);;MapKey of Argument[0];ReturnValue;taint",
-          "Json;false;createObjectBuilder;(Map);;MapValue of Argument[0];ReturnValue;taint",
-          "Json;false;createPatch;;;Argument[0];ReturnValue;taint",
-          "Json;false;createPatchBuilder;;;Argument[0];ReturnValue;taint",
-          "Json;false;createPointer;;;Argument[0];ReturnValue;taint",
-          "Json;false;createReader;;;Argument[0];ReturnValue;taint",
-          "Json;false;createValue;;;Argument[0];ReturnValue;taint",
-          "Json;false;createWriter;;;Argument[0];ReturnValue;taint",
-          "JsonArray;false;getBoolean;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getBoolean;;;Argument[1];ReturnValue;value",
-          "JsonArray;false;getInt;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getInt;;;Argument[1];ReturnValue;value",
-          "JsonArray;false;getJsonArray;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getJsonNumber;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getJsonObject;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getJsonString;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getString;;;Argument[-1];ReturnValue;taint",
-          "JsonArray;false;getString;;;Argument[1];ReturnValue;value",
-          "JsonArray;false;getValuesAs;;;Argument[-1];ReturnValue;taint",
-          "JsonArrayBuilder;false;add;;;Argument[-1];ReturnValue;value",
-          "JsonArrayBuilder;false;add;(boolean);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(double);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(long);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(JsonArrayBuilder);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(JsonObjectBuilder);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(JsonValue);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(String);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(BigDecimal);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(BigInteger);;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,boolean);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,double);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,int);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,long);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,JsonArrayBuilder);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,JsonObjectBuilder);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,JsonValue);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,String);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,BigDecimal);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;add;(int,BigInteger);;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;addAll;;;Argument[0];Argument[-1];taint",
-          "JsonArrayBuilder;false;addAll;;;Argument[-1];ReturnValue;value",
-          "JsonArrayBuilder;false;addNull;;;Argument[-1];ReturnValue;value",
-          "JsonArrayBuilder;false;build;;;Argument[-1];ReturnValue;taint",
-          "JsonArrayBuilder;false;remove;;;Argument[-1];ReturnValue;value",
-          "JsonArrayBuilder;false;set;;;Argument[1];Argument[-1];taint",
-          "JsonArrayBuilder;false;set;;;Argument[-1];ReturnValue;value",
-          "JsonArrayBuilder;false;setNull;;;Argument[-1];ReturnValue;value",
-          "JsonMergePatch;false;apply;;;Argument[-1];ReturnValue;taint",
-          "JsonMergePatch;false;apply;;;Argument[0];ReturnValue;taint",
-          "JsonMergePatch;false;toJsonValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;bigDecimalValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;bigIntegerValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;bigIntegerValueExact;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;doubleValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;intValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;intValueExact;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;longValue;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;longValueExact;;;Argument[-1];ReturnValue;taint",
-          "JsonNumber;false;numberValue;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getBoolean;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getBoolean;;;Argument[1];ReturnValue;value",
-          "JsonObject;false;getInt;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getInt;;;Argument[1];ReturnValue;value",
-          "JsonObject;false;getJsonArray;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getJsonNumber;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getJsonObject;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getJsonString;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getString;;;Argument[-1];ReturnValue;taint",
-          "JsonObject;false;getString;;;Argument[1];ReturnValue;value",
-          "JsonObjectBuilder;false;add;;;Argument[-1];ReturnValue;value",
-          "JsonObjectBuilder;false;add;;;Argument[1];Argument[-1];taint",
-          "JsonObjectBuilder;false;addAll;;;Argument[0];ReturnValue;value",
-          "JsonObjectBuilder;false;addAll;;;Argument[-1];ReturnValue;value",
-          "JsonObjectBuilder;false;addNull;;;Argument[-1];ReturnValue;value",
-          "JsonObjectBuilder;false;build;;;Argument[-1];ReturnValue;taint",
-          "JsonObjectBuilder;false;remove;;;Argument[-1];ReturnValue;value",
-          "JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint",
-          "JsonPatch;false;apply;;;Argument[-1];ReturnValue;taint",
-          "JsonPatch;false;apply;;;Argument[0];ReturnValue;taint",
-          "JsonPatch;false;toJsonArray;;;Argument[-1];ReturnValue;taint",
-          "JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint",
-          "JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value",
-          "JsonPatchBuilder;false;build;;;Argument[-1];ReturnValue;taint",
-          "JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint",
-          "JsonPatchBuilder;false;copy;;;Argument[-1];ReturnValue;value",
-          "JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint",
-          "JsonPatchBuilder;false;move;;;Argument[-1];ReturnValue;value",
-          "JsonPatchBuilder;false;remove;;;Argument[0];ReturnValue;taint",
-          "JsonPatchBuilder;false;remove;;;Argument[-1];ReturnValue;value",
-          "JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint",
-          "JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value",
-          "JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint",
-          "JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value",
-          "JsonPointer;false;add;;;Argument[-1];ReturnValue;taint",
-          "JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint",
-          "JsonPointer;false;getValue;;;Argument[0];ReturnValue;taint",
-          "JsonPointer;false;remove;;;Argument[0];ReturnValue;taint",
-          "JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint",
-          "JsonPointer;false;toString;;;Argument[-1];ReturnValue;taint",
-          "JsonReader;false;read;;;Argument[-1];ReturnValue;taint",
-          "JsonReader;false;readArray;;;Argument[-1];ReturnValue;taint",
-          "JsonReader;false;readObject;;;Argument[-1];ReturnValue;taint",
-          "JsonReader;false;readValue;;;Argument[-1];ReturnValue;taint",
-          "JsonReaderFactory;false;createReader;;;Argument[0];ReturnValue;taint",
-          "JsonString;false;getChars;;;Argument[-1];ReturnValue;taint",
-          "JsonString;false;getString;;;Argument[-1];ReturnValue;taint",
-          "JsonStructure;true;getValue;;;Argument[-1];ReturnValue;taint",
-          "JsonValue;true;asJsonArray;;;Argument[-1];ReturnValue;taint",
-          "JsonValue;true;asJsonObject;;;Argument[-1];ReturnValue;taint",
-          "JsonValue;true;toString;;;Argument[-1];ReturnValue;taint",
-          "JsonWriter;false;write;;;Argument[0];Argument[-1];taint",
-          "JsonWriter;false;writeArray;;;Argument[0];Argument[-1];taint",
-          "JsonWriter;false;writeObject;;;Argument[0];Argument[-1];taint",
-          "JsonWriterFactory;false;createWriter;;;Argument[-1];Argument[0];taint"
+          ".json;Json;false;createArrayBuilder;(JsonArray);;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createArrayBuilder;(Collection);;Element of Argument[0];ReturnValue;taint",
+          ".json;Json;false;createDiff;;;Argument[0..1];ReturnValue;taint",
+          ".json;Json;false;createMergeDiff;;;Argument[0..1];ReturnValue;taint",
+          ".json;Json;false;createMergePatch;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createObjectBuilder;(JsonObject);;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createObjectBuilder;(Map);;MapKey of Argument[0];ReturnValue;taint",
+          ".json;Json;false;createObjectBuilder;(Map);;MapValue of Argument[0];ReturnValue;taint",
+          ".json;Json;false;createPatch;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createPatchBuilder;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createPointer;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createReader;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createValue;;;Argument[0];ReturnValue;taint",
+          ".json;Json;false;createWriter;;;Argument[0];ReturnValue;taint",
+          ".json;JsonArray;false;getBoolean;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getBoolean;;;Argument[1];ReturnValue;value",
+          ".json;JsonArray;false;getInt;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getInt;;;Argument[1];ReturnValue;value",
+          ".json;JsonArray;false;getJsonArray;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getJsonNumber;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getJsonObject;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getJsonString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArray;false;getString;;;Argument[1];ReturnValue;value",
+          ".json;JsonArray;false;getValuesAs;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArrayBuilder;false;add;;;Argument[-1];ReturnValue;value",
+          ".json;JsonArrayBuilder;false;add;(boolean);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(double);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(long);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(JsonArrayBuilder);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(JsonObjectBuilder);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(JsonValue);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(String);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(BigDecimal);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(BigInteger);;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,boolean);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,double);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,int);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,long);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,JsonArrayBuilder);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,JsonObjectBuilder);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,JsonValue);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,String);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,BigDecimal);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;add;(int,BigInteger);;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;addAll;;;Argument[0];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;addAll;;;Argument[-1];ReturnValue;value",
+          ".json;JsonArrayBuilder;false;addNull;;;Argument[-1];ReturnValue;value",
+          ".json;JsonArrayBuilder;false;build;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonArrayBuilder;false;remove;;;Argument[-1];ReturnValue;value",
+          ".json;JsonArrayBuilder;false;set;;;Argument[1];Argument[-1];taint",
+          ".json;JsonArrayBuilder;false;set;;;Argument[-1];ReturnValue;value",
+          ".json;JsonArrayBuilder;false;setNull;;;Argument[-1];ReturnValue;value",
+          ".json;JsonMergePatch;false;apply;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonMergePatch;false;apply;;;Argument[0];ReturnValue;taint",
+          ".json;JsonMergePatch;false;toJsonValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;bigDecimalValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;bigIntegerValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;bigIntegerValueExact;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;doubleValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;intValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;intValueExact;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;longValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;longValueExact;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonNumber;false;numberValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getBoolean;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getBoolean;;;Argument[1];ReturnValue;value",
+          ".json;JsonObject;false;getInt;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getInt;;;Argument[1];ReturnValue;value",
+          ".json;JsonObject;false;getJsonArray;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getJsonNumber;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getJsonObject;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getJsonString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObject;false;getString;;;Argument[1];ReturnValue;value",
+          ".json;JsonObjectBuilder;false;add;;;Argument[-1];ReturnValue;value",
+          ".json;JsonObjectBuilder;false;add;;;Argument[1];Argument[-1];taint",
+          ".json;JsonObjectBuilder;false;addAll;;;Argument[0];ReturnValue;value",
+          ".json;JsonObjectBuilder;false;addAll;;;Argument[-1];ReturnValue;value",
+          ".json;JsonObjectBuilder;false;addNull;;;Argument[-1];ReturnValue;value",
+          ".json;JsonObjectBuilder;false;build;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonObjectBuilder;false;remove;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatch;false;apply;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonPatch;false;apply;;;Argument[0];ReturnValue;taint",
+          ".json;JsonPatch;false;toJsonArray;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatchBuilder;false;build;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;copy;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;move;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatchBuilder;false;remove;;;Argument[0];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;remove;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value",
+          ".json;JsonPointer;false;add;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPointer;false;getValue;;;Argument[0];ReturnValue;taint",
+          ".json;JsonPointer;false;remove;;;Argument[0];ReturnValue;taint",
+          ".json;JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint",
+          ".json;JsonPointer;false;toString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonReader;false;read;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonReader;false;readArray;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonReader;false;readObject;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonReader;false;readValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonReaderFactory;false;createReader;;;Argument[0];ReturnValue;taint",
+          ".json;JsonString;false;getChars;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonString;false;getString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonStructure;true;getValue;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonValue;true;asJsonArray;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonValue;true;asJsonObject;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonValue;true;toString;;;Argument[-1];ReturnValue;taint",
+          ".json;JsonWriter;false;write;;;Argument[0];Argument[-1];taint",
+          ".json;JsonWriter;false;writeArray;;;Argument[0];Argument[-1];taint",
+          ".json;JsonWriter;false;writeObject;;;Argument[0];Argument[-1];taint",
+          ".json;JsonWriterFactory;false;createWriter;;;Argument[-1];Argument[0];taint",
+          ".json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
         ]
   }
 }
diff --git a/java/ql/test/library-tests/frameworks/javax-json/Test.java b/java/ql/test/library-tests/frameworks/javax-json/Test.java
index b686333aa5e..a4366387591 100644
--- a/java/ql/test/library-tests/frameworks/javax-json/Test.java
+++ b/java/ql/test/library-tests/frameworks/javax-json/Test.java
@@ -22,10 +22,50 @@ public class Test {
 
 	public void test() {
 
+		{
+			// "jakarta.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			jakarta.json.stream.JsonParser out = null;
+			jakarta.json.JsonObject in = (jakarta.json.JsonObject)source();
+			jakarta.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			jakarta.json.stream.JsonParser out = null;
+			jakarta.json.JsonArray in = (jakarta.json.JsonArray)source();
+			jakarta.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			jakarta.json.stream.JsonParser out = null;
+			Reader in = (Reader)source();
+			jakarta.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			jakarta.json.stream.JsonParser out = null;
+			InputStream in = (InputStream)source();
+			jakarta.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			jakarta.json.stream.JsonParser out = null;
+			InputStream in = (InputStream)source();
+			jakarta.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "jakarta.json;Json;false;createArrayBuilder;(Collection);;Element of Argument[0];ReturnValue;taint"
 			jakarta.json.JsonArrayBuilder out = null;
-			Collection in = newWithElement(source());
+			Collection in = (Collection)newWithElement(source());
 			out = jakarta.json.Json.createArrayBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
@@ -81,14 +121,14 @@ public class Test {
 		{
 			// "jakarta.json;Json;false;createObjectBuilder;(Map);;MapKey of Argument[0];ReturnValue;taint"
 			jakarta.json.JsonObjectBuilder out = null;
-			Map in = newWithMapKey(source());
+			Map in = (Map)newWithMapKey(source());
 			out = jakarta.json.Json.createObjectBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
 		{
 			// "jakarta.json;Json;false;createObjectBuilder;(Map);;MapValue of Argument[0];ReturnValue;taint"
 			jakarta.json.JsonObjectBuilder out = null;
-			Map in = newWithMapValue(source());
+			Map in = (Map)newWithMapValue(source());
 			out = jakarta.json.Json.createObjectBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
@@ -99,6 +139,20 @@ public class Test {
 			out = jakarta.json.Json.createPatch(in);
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "jakarta.json;Json;false;createPatchBuilder;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonArray in = (jakarta.json.JsonArray)source();
+			out = jakarta.json.Json.createPatchBuilder(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createPointer;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonPointer out = null;
+			String in = (String)source();
+			out = jakarta.json.Json.createPointer(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "jakarta.json;Json;false;createReader;;;Argument[0];ReturnValue;taint"
 			jakarta.json.JsonReader out = null;
@@ -113,6 +167,48 @@ public class Test {
 			out = jakarta.json.Json.createReader(in);
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonString out = null;
+			String in = (String)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonNumber out = null;
+			long in = (long)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonNumber out = null;
+			int in = (int)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonNumber out = null;
+			double in = (double)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonNumber out = null;
+			BigInteger in = (BigInteger)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonNumber out = null;
+			BigDecimal in = (BigDecimal)source();
+			out = jakarta.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "jakarta.json;Json;false;createWriter;;;Argument[0];ReturnValue;taint"
 			jakarta.json.JsonWriter out = null;
@@ -704,6 +800,28 @@ public class Test {
 			out = in.setNull(0);
 			sink(out); // $hasValueFlow
 		}
+		{
+			// "jakarta.json;JsonMergePatch;false;apply;;;Argument[-1];ReturnValue;taint"
+			jakarta.json.JsonValue out = null;
+			jakarta.json.JsonMergePatch in = (jakarta.json.JsonMergePatch)source();
+			out = in.apply(null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonMergePatch;false;apply;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonValue out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonMergePatch instance = null;
+			out = instance.apply(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonMergePatch;false;toJsonValue;;;Argument[-1];ReturnValue;taint"
+			jakarta.json.JsonValue out = null;
+			jakarta.json.JsonMergePatch in = (jakarta.json.JsonMergePatch)source();
+			out = in.toJsonValue();
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "jakarta.json;JsonNumber;false;bigDecimalValue;;;Argument[-1];ReturnValue;taint"
 			BigDecimal out = null;
@@ -1059,6 +1177,412 @@ public class Test {
 			out = in.toJsonArray();
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.add((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.add((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.add((String)null, (jakarta.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.add((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, (jakarta.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;build;;;Argument[-1];ReturnValue;taint"
+			jakarta.json.JsonPatch out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.build();
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;copy;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.copy(null, null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.copy(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.copy(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;move;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.move(null, null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.move(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.move(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;remove;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.remove(null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;remove;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.remove(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, (jakarta.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, (jakarta.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.test((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.test((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.test((String)null, (jakarta.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonPatchBuilder in = (jakarta.json.JsonPatchBuilder)source();
+			out = in.test((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, (jakarta.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			jakarta.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;add;;;Argument[-1];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonPointer in = (jakarta.json.JsonPointer)source();
+			out = in.add(null, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.add(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonStructure in = (jakarta.json.JsonStructure)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.add(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;getValue;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonValue out = null;
+			jakarta.json.JsonStructure in = (jakarta.json.JsonStructure)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.getValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;remove;;;Argument[0];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonStructure in = (jakarta.json.JsonStructure)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.remove(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonValue in = (jakarta.json.JsonValue)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.replace(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint"
+			jakarta.json.JsonStructure out = null;
+			jakarta.json.JsonStructure in = (jakarta.json.JsonStructure)source();
+			jakarta.json.JsonPointer instance = null;
+			out = instance.replace(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "jakarta.json;JsonPointer;false;toString;;;Argument[-1];ReturnValue;taint"
+			String out = null;
+			jakarta.json.JsonPointer in = (jakarta.json.JsonPointer)source();
+			out = in.toString();
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "jakarta.json;JsonReader;false;read;;;Argument[-1];ReturnValue;taint"
 			jakarta.json.JsonStructure out = null;
@@ -1209,10 +1733,50 @@ public class Test {
 			in.createWriter(out);
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "javax.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			javax.json.stream.JsonParser out = null;
+			javax.json.JsonObject in = (javax.json.JsonObject)source();
+			javax.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			javax.json.stream.JsonParser out = null;
+			javax.json.JsonArray in = (javax.json.JsonArray)source();
+			javax.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			javax.json.stream.JsonParser out = null;
+			Reader in = (Reader)source();
+			javax.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			javax.json.stream.JsonParser out = null;
+			InputStream in = (InputStream)source();
+			javax.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json.stream;JsonParserFactory;false;createParser;;;Argument[0];ReturnValue;taint"
+			javax.json.stream.JsonParser out = null;
+			InputStream in = (InputStream)source();
+			javax.json.stream.JsonParserFactory instance = null;
+			out = instance.createParser(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "javax.json;Json;false;createArrayBuilder;(Collection);;Element of Argument[0];ReturnValue;taint"
 			javax.json.JsonArrayBuilder out = null;
-			Collection in = newWithElement(source());
+			Collection in = (Collection)newWithElement(source());
 			out = javax.json.Json.createArrayBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
@@ -1268,14 +1832,14 @@ public class Test {
 		{
 			// "javax.json;Json;false;createObjectBuilder;(Map);;MapKey of Argument[0];ReturnValue;taint"
 			javax.json.JsonObjectBuilder out = null;
-			Map in = newWithMapKey(source());
+			Map in = (Map)newWithMapKey(source());
 			out = javax.json.Json.createObjectBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
 		{
 			// "javax.json;Json;false;createObjectBuilder;(Map);;MapValue of Argument[0];ReturnValue;taint"
 			javax.json.JsonObjectBuilder out = null;
-			Map in = newWithMapValue(source());
+			Map in = (Map)newWithMapValue(source());
 			out = javax.json.Json.createObjectBuilder(in);
 			sink(out); // $hasTaintFlow
 		}
@@ -1286,6 +1850,20 @@ public class Test {
 			out = javax.json.Json.createPatch(in);
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "javax.json;Json;false;createPatchBuilder;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonArray in = (javax.json.JsonArray)source();
+			out = javax.json.Json.createPatchBuilder(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createPointer;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonPointer out = null;
+			String in = (String)source();
+			out = javax.json.Json.createPointer(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "javax.json;Json;false;createReader;;;Argument[0];ReturnValue;taint"
 			javax.json.JsonReader out = null;
@@ -1300,6 +1878,48 @@ public class Test {
 			out = javax.json.Json.createReader(in);
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonString out = null;
+			String in = (String)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonNumber out = null;
+			long in = (long)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonNumber out = null;
+			int in = (int)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonNumber out = null;
+			double in = (double)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonNumber out = null;
+			BigInteger in = (BigInteger)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;Json;false;createValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonNumber out = null;
+			BigDecimal in = (BigDecimal)source();
+			out = javax.json.Json.createValue(in);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "javax.json;Json;false;createWriter;;;Argument[0];ReturnValue;taint"
 			javax.json.JsonWriter out = null;
@@ -1891,6 +2511,28 @@ public class Test {
 			out = in.setNull(0);
 			sink(out); // $hasValueFlow
 		}
+		{
+			// "javax.json;JsonMergePatch;false;apply;;;Argument[-1];ReturnValue;taint"
+			javax.json.JsonValue out = null;
+			javax.json.JsonMergePatch in = (javax.json.JsonMergePatch)source();
+			out = in.apply(null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonMergePatch;false;apply;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonValue out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonMergePatch instance = null;
+			out = instance.apply(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonMergePatch;false;toJsonValue;;;Argument[-1];ReturnValue;taint"
+			javax.json.JsonValue out = null;
+			javax.json.JsonMergePatch in = (javax.json.JsonMergePatch)source();
+			out = in.toJsonValue();
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "javax.json;JsonNumber;false;bigDecimalValue;;;Argument[-1];ReturnValue;taint"
 			BigDecimal out = null;
@@ -2246,6 +2888,405 @@ public class Test {
 			out = in.toJsonArray();
 			sink(out); // $hasTaintFlow
 		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.add((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.add((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.add((String)null, (javax.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.add((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, (javax.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.add((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;build;;;Argument[-1];ReturnValue;taint"
+			javax.json.JsonPatch out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.build();
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;copy;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.copy(null, null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.copy(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;copy;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.copy(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;move;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.move(null, null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.move(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;move;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.move(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;remove;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.remove(null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;remove;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.remove(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, (javax.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.replace((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, (javax.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.replace((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.test((String)null, false);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.test((String)null, 0);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.test((String)null, (javax.json.JsonValue)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[-1];ReturnValue;value"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonPatchBuilder in = (javax.json.JsonPatchBuilder)source();
+			out = in.test((String)null, (String)null);
+			sink(out); // $hasValueFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			int in = (int)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			boolean in = (boolean)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, false);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, 0);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, (javax.json.JsonValue)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test(in, (String)null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPatchBuilder;false;test;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonPatchBuilder out = null;
+			String in = (String)source();
+			javax.json.JsonPatchBuilder instance = null;
+			out = instance.test((String)null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;add;;;Argument[-1];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonPointer in = (javax.json.JsonPointer)source();
+			out = in.add(null, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.add(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;add;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonStructure in = (javax.json.JsonStructure)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.add(in, null);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;getValue;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonValue out = null;
+			javax.json.JsonStructure in = (javax.json.JsonStructure)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.getValue(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;remove;;;Argument[0];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonStructure in = (javax.json.JsonStructure)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.remove(in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonValue in = (javax.json.JsonValue)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.replace(null, in);
+			sink(out); // $hasTaintFlow
+		}
+		{
+			// "javax.json;JsonPointer;false;replace;;;Argument[0..1];ReturnValue;taint"
+			javax.json.JsonStructure out = null;
+			javax.json.JsonStructure in = (javax.json.JsonStructure)source();
+			javax.json.JsonPointer instance = null;
+			out = instance.replace(in, null);
+			sink(out); // $hasTaintFlow
+		}
 		{
 			// "javax.json;JsonReader;false;read;;;Argument[-1];ReturnValue;taint"
 			javax.json.JsonStructure out = null;