import java.io.*;

class NullDeref8 {

  public int foo(String filename) throws IOException {
	InputStream in = null;
	try {
		in = new FileInputStream(filename);
	}
	finally {
		if (in == null) 
			System.out.println("Failure");
		}
	return in.read();
	}
  }

@@ -227,16 +227,118 @@
 %22);%0A%09%09%7D%0A
+%09// can't generate a NPE; if in isn't assigned to,%0A%09// threw an exception and won't execute this code%0A
 %09return 

Add commit here