Using @CheckForNull instead of @Nullable