From 64dd061ecbea266488de560d05e523243107c1a8 Mon Sep 17 00:00:00 2001
From: Martin Lippert <mlippert@gmail.com>
Date: Wed, 12 Nov 2025 13:01:17 +0100
Subject: [PATCH] add JSpecify annotations for null analysis

---
 package.json | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/package.json b/package.json
index d72b98029..14905f43b 100644
--- a/package.json
+++ b/package.json
@@ -859,7 +859,8 @@
             "default": [
               "javax.annotation.Nonnull",
               "org.eclipse.jdt.annotation.NonNull",
-              "org.springframework.lang.NonNull"
+              "org.springframework.lang.NonNull",
+              "org.jspecify.annotations.NonNull"
             ],
             "markdownDescription": "Specify the Nonnull annotation types to be used for null analysis. If more than one annotation is specified, then the topmost annotation will be used first if it exists in project dependencies. This setting will be ignored if `java.compile.nullAnalysis.mode` is set to `disabled`",
             "scope": "window"
@@ -869,7 +870,8 @@
             "default": [
               "javax.annotation.Nullable",
               "org.eclipse.jdt.annotation.Nullable",
-              "org.springframework.lang.Nullable"
+              "org.springframework.lang.Nullable",
+              "org.jspecify.annotations.Nullable"
             ],
             "markdownDescription": "Specify the Nullable annotation types to be used for null analysis. If more than one annotation is specified, then the topmost annotation will be used first if it exists in project dependencies. This setting will be ignored if `java.compile.nullAnalysis.mode` is set to `disabled`",
             "scope": "window"
@@ -879,7 +881,8 @@
             "default": [
               "javax.annotation.ParametersAreNonnullByDefault",
               "org.eclipse.jdt.annotation.NonNullByDefault",
-              "org.springframework.lang.NonNullApi"
+              "org.springframework.lang.NonNullApi",
+              "org.jspecify.annotations.NullMarked"
             ],
             "markdownDescription": "Specify the NonNullByDefault annotation types to be used for null analysis. If more than one annotation is specified, then the topmost annotation will be used first if it exists in project dependencies. This setting will be ignored if `java.compile.nullAnalysis.mode` is set to `disabled`",
             "scope": "window"