Bug fix: don't check @NotNull annotation.