Add compile time checks for not-null

[mhdirkse]

Niels knows a Maven plugin for this. We can have it create compile time warnings first so that they non-null failures can be resolved step-by-step.

[mhdirkse]

Use JSpecify @NotNull, not another @NotNull.