Java annotations for static analysis with a clearly defined specification in the style of a static type system.

At the moment it defines nullability annotations (@Nullable, @NullMarked).

Supported by Error Prone, Infer, and other tools.