Merge pull request #706 from MarcMil/extensibility

Missing printwriter summary

Author: StevenArzt

soot-infoflow-summaries/summariesManual/java.io.PrintWriter.xml

@@ -301,12 +301,18 @@
 		<method
 			id="java.io.PrintWriter printf(java.util.Locale,java.lang.String,java.lang.Object[])">
 			<flows>
-				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+				<flow isAlias="false" typeChecking="false">
 					<from sourceSinkType="Parameter" ParameterIndex="2" />
 					<to sourceSinkType="Field"
 						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
 						AccessPathTypes="[java.io.OutputStream]" />
 				</flow>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Parameter" ParameterIndex="1" />
+					<to sourceSinkType="Field"
+						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
+						AccessPathTypes="[java.io.OutputStream]" />
+				</flow>
 				<flow isAlias="false" typeChecking="false">
 					<from sourceSinkType="Parameter" ParameterIndex="0" />
 					<to sourceSinkType="Field"