Add jakarta summaries

Author: MarcMil

soot-infoflow-summaries/summariesManual/jakarta.servlet.ServletResponse.xml

@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<summary fileFormatVersion="101">
+	<methods>
+		<method id="jakarta.servlet.ServletOutputStream getOutputStream()">
+			<flows>
+				<flow isAlias="true">
+					<from sourceSinkType="Field"
+						AccessPath="[jakarta.servlet.ServletResponse: jakarta.servlet.ServletOutputStream stream]"
+						AccessPathTypes="[jakarta.servlet.ServletOutputStream]" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="java.io.PrintWriter getWriter()">
+			<flows>
+				<flow isAlias="true">
+					<from sourceSinkType="Field"
+						AccessPath="[jakarta.servlet.ServletResponse: jakarta.servlet.ServletOutputStream stream]"
+						AccessPathTypes="[jakarta.servlet.ServletOutputStream]" />
+					<to sourceSinkType="Return"
+						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
+						AccessPathTypes="[java.io.OutputStream]" />
+				</flow>
+			</flows>
+		</method>
+	</methods>
+</summary>

soot-infoflow-summaries/summariesManual/jakarta.servlet.http.HttpServletResponse.xml

@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<summary fileFormatVersion="101">
+	<hierarchy superClass="jakarta.servlet.ServletResponse">
+	</hierarchy>
+</summary>