[Checkers] IGJ Status

[Michael Ernst]

Mahmood-

Thanks for the notes about IGJ status.  Also, thanks for remembering that
we need to special-case Collections.toArray!  We should mention in the
paper that we have done so.  I agree with you that we can do exciting case
studies now.  I'm glad that the checkers work is winding down, but I
honestly don't have a good feel as to exactly how much work remains (which
is OK in the short run, so long as the rest of you do).

                    -Mike