It's quite easy to accidentally import the wrong @Nullable annotation. We can add a checkstyle rule to make sure it doesn't happen.