This annotation can be applied to a package, class or method to indicate that
 the method in that element are nonnull by default unless there is:
 
 - An explicit nullness annotation
 
- The method overrides a method in a superclass (in which case the
 annotation of the corresponding method in the superclass applies)
 
-  there is a default parameter annotation applied to a more tightly nested
 element.