f.close();
if (f != null) f.close();
	public void wrappedStreamClosedDoNotReport() throws IOException {		FileOutputStream f= new FileOutputStream("Hello.txt");		PrintStream ps = new PrintStream(f);		try {			ps.println("Hello");		} finally {			f.close();		}	}