[Checkers] Nullness inference

[Michael Ernst]

Fausto said:
> There is no special support for generics in my tool. The problem is  
> that the types have been erased in the bytecode.

I replied:
> Signatures are available in the class
> file (just not in the bytecode part of the class file) if the file  
> has been compiled with debugging information.

Mahmood has corrected me:
> I thought that the signature attribute is always available in the  
> classfile.  The generic signature information is needed by the  
> compiler to type-check uses of generic methods and classes.

Thanks for correcting my faulty memory, Mahmood.

                    -Mike