[JSR308] Nullness checker and generic checkNotNull function

[Michael Ernst]

Thanks for the bug report.

Many bugs with generics are fixed in the development version of the Checker
Framework, and Mahmood hopes to make a release soon (but is currently in
Asia).

As a side note, you can also use an assert to provide the fail-fast gateway
between annotated and non-annotated parts of your project code:

  assert x != null;

will have a similar effect to a call to your method.

                    -Mike