public override void Bad()
        {
            StreamReader data = null;

            data = File.OpenText(@"BadSource_OpenText.txt");
            /* POTENTIAL FLAW: Close the file in the source */
            data.Close();
            badPublicStatic = true;
            CWE675_Duplicate_Operations_on_Resource__OpenText_22b.BadSink(data);
        }