Using @NotNull instead of @Nonnull