Sollte das nicht besser @CheckForNull aus dem JSR 305 sein?