#vulnerable code 
                             public void dump()
	{
		dump(new PrintWriter(new OutputStreamWriter(System.out)));
	} 
                            #location 3 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                             public void dump()
	{
		PrintWriter pw = new PrintWriter(System.out);
		dump(pw);
		pw.flush();
	}