JSpecify/nullness annotations — static analysis in builds?

Nullness annotations

JSpecify and similar annotations mark nullable vs non-null APIs for static analyzers (NullAway, Checker Framework, IntelliJ). Enforce in CI to prevent NPE classes of bugs.