Provide a way of specifying that null should be rejected.

[rickyclarkson]

E.g., Foo = Bar(@NotNull String x) - this would generate a null check in the Bar constructor and possibly in its factory method.

[JamesIry]

Agreed. I haven't had time time to work on JADT in awhile now, but the ongoing project is annotations and a not null annotation is one on the list.