[JSR308] Nullness checker and generic checkNotNull function

[Michael Ernst]

Piotr-

> Many bugs with generics are fixed in the development version of the Checker
> Framework

And more specifically, I should have mentioned that your example
type-checks.

                    -Mike