findbugs @DefaultAnnotation(NonNull.class) and @ParametersAreNonNullByDefault test