@@ -0,0 +1,162 @@
+%0A%0Aclass NullDeref4 %7B%0A%0A  void foo() %7B%0A%09NullDeref4 n = new NullDeref4();%0A%09if (n != null) %0A%09%09System.out.println(%22Not null%22);%0A%09System.out.println(n.hashCode());%0A%09%7D%0A%7D%0A

We should do better for this example