Merge branch 'main' into hotfix-NoGuavaJava21

Author: BramliAK

src/main/resources/META-INF/rewrite/jspecify.yml

@@ -26,7 +26,10 @@ recipeList:
   - org.openrewrite.java.jspecify.MigrateFromJavaxAnnotationApi
   - org.openrewrite.java.jspecify.MigrateFromJakartaAnnotationApi
   - org.openrewrite.java.jspecify.MigrateFromJetbrainsAnnotations
-  - org.openrewrite.java.jspecify.MigrateFromSpringFrameworkAnnotations
+  # Running the following recipe on current versions of Spring can cause Spring to misunderstand a nullable field.
+  #   For instance, a custom Prometheus scrape endpoint with @Nullable Set<String> includedNames will fail if 
+  #   includedNames is null and if @Nullable is @org.jspecify.annotations.Nullable.
+  # - org.openrewrite.java.jspecify.MigrateFromSpringFrameworkAnnotations
 
 ---
 type: specs.openrewrite.org/v1beta/recipe

src/test/java/org/openrewrite/java/migrate/jspecify/MigrateToJspecifyTest.java

@@ -17,6 +17,7 @@
 
 import org.junit.jupiter.api.Test;
 import org.openrewrite.DocumentExample;
+import org.openrewrite.Issue;
 import org.openrewrite.java.JavaParser;
 import org.openrewrite.test.RecipeSpec;
 import org.openrewrite.test.RewriteTest;
@@ -324,9 +325,13 @@ class Bar {
         );
     }
 
+    @Issue("https://github.com/openrewrite/rewrite-migrate-java/pull/602")
     @Test
     void migrateFromSpringFrameworkAnnotationsToJspecify() {
         rewriteRun(
+          spec -> spec.recipeFromResource(
+            "/META-INF/rewrite/jspecify.yml",
+            "org.openrewrite.java.jspecify.MigrateFromSpringFrameworkAnnotations"),
           mavenProject("foo",
             //language=java
             srcMainJava(