@Nonnull in jsr308 style.