lombok.addNullAnnotations = checkerframework