@@ -0,0 +1,479 @@
+package sfBugsNew;%0A%0Aimport java.util.Random;%0A%0Aimport javax.annotation.CheckForNull;%0A%0Apublic class Bug1208 %7B%0A%0A    Random r = new Random();%0A    // Some shoot-your-leg code%0A    public @CheckForNull Bug1208 m1() %7B%0A        return r.nextBoolean() ? this : null;%0A    %7D%0A%0A    public Bug1208 m2() %7B%0A        return this;%0A    %7D%0A%0A    public void print() %7B%0A        System.out.println(%22hi%22);%0A    %7D%0A%0A    public static void main(String... args) %7B%0A        new Bug1208().m1().m2().print();%0A    %7D%0A%7D%0A

Add new test code