This annotation can be applied to a package, class or method to indicate that
 the method parameters 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 parameter in the superclass applies)
 There is a default parameter annotation (like 
ParametersAreNullableByDefault)
 applied to a more tightly nested element.