Code inspection: Nullability attribute usage with declaration of void or value type

In the code snippet below, the NotNull annotation is meaningless.

The reason is that int cannot possibly be null, so any sort of indication that it is or is not null is redundant and can be removed. The same applies to methods that have a void return type.