`@AllNonnullByDefault` is too long and too complex. The simplest and most descriptive name I came up with is `@NonNullPackage`. It's somewhat similiar to (but maybe even more descriptive than) Spring's [`@NonNullApi`](https://docs.spring.io/spring/docs/current/javadoc-api/org/springframework/lang/NonNullApi.html) and [`@NonNullFields`](https://docs.spring.io/spring/docs/current/javadoc-api/org/springframework/lang/NonNullFields.html).
@AllNonnullByDefaultis too long and too complex.The simplest and most descriptive name I came up with is
@NonNullPackage.It's somewhat similiar to (but maybe even more descriptive than) Spring's
@NonNullApiand@NonNullFields.