GH-1624: set default preference of null analysis annotations to contain JSpecify variants

Author: martinlippert

eclipse-distribution/org.springframework.boot.ide.branding/plugin_customization.ini

@@ -62,3 +62,10 @@ org.eclipse.wst.validation/suspend=true
 
 # Enable Semantic Tokens via LSP in Java Editor
 org.eclipse.lsp4e.jdt/semanticHighlightReconciler.java.enabled=true
+
+# Configure secondary null annotation types for JDT null analysis
+# These settings allow the compiler to recognize null annotation types from Spring Framework and JSpecify
+# beyond the default org.eclipse.jdt.annotation types
+org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.annotation.nullable.secondary=org.jspecify.annotations.Nullable,org.springframework.lang.Nullable
+org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.annotation.nonnull.secondary=org.jspecify.annotations.NonNull,org.springframework.lang.NonNull
+org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.annotation.nonnullbydefault.secondary=org.jspecify.annotations.NullMarked,org.springframework.lang.NonNullApi,org.springframework.lang.NonNullFields