Add test showing spurious sink candidate from method overriding a method for which we have a model.

Author: Max Schaefer

java/ql/automodel/test/AutomodelFrameworkModeExtraction/com/github/codeql/test/MyWriter.java

@@ -0,0 +1,15 @@
+package com.github.codeql.test;
+
+public class MyWriter extends java.io.Writer {
+    @Override
+    public void write(char[] cbuf, int off, int len) { // $ sinkModelCandidate=write(char[],int,int):Argument[this] sourceModelCandidate=write(char[],int,int):Parameter[this] sourceModelCandidate=write(char[],int,int):Parameter[0] SPURIOUS: sinkModelCandidate=write(char[],int,int):Argument[0]
+    }
+
+    @Override
+    public void close() { // $ sinkModelCandidate=close():Argument[this] sourceModelCandidate=close():Parameter[this]
+    }
+
+    @Override
+    public void flush() { // $ sinkModelCandidate=flush():Argument[this] sourceModelCandidate=flush():Parameter[this]
+    }
+}