Running Spring boot 3.3 migration recipe downgrades Jakarta Servlet to 5 for Jetty 12

[santoshdahal12]

What version of OpenRewrite are you using?

I am using

• OpenRewrite maven-plugin 5.45.1 (latest)
• Maven/Gradle plugin maven 3.9.9

How are you running OpenRewrite?

I am using the Mavencli

mvn -U org.openrewrite.maven:rewrite-maven-plugin:5.45.1:run -Drewrite.recipeArtifactCoordinates=org.openrewrite.recipe:rewrite-spring:RELEASE -Drewrite.activeRecipes=org.openrewrite.java.spring.boot3.UpgradeSpringBoot_3_3 -Drewrite.exportDatatables=true

What is the smallest, simplest way to reproduce the problem?

Run the above recipe in any spring boot 3.3.x project that uses Jetty 12 as embedded server.

What did you expect to see?

It should not add property jakarta-servlet.version 5.0.0 in maven properties section

What did you see instead?

Below property is added even if jetty 12 is in classpath

<jakarta-servlet.version> 5.0.0 </jakarta-servlet.version>

What is the full stack trace of any errors you encountered?

No error, but this property should not be added as there is no need of this property from Spring Boot 3.2 onwards as it supports Jetty 12.

Are you interested in contributing a fix to OpenRewrite?

Yes if the solutiion sounds good. My solution is to drop this recipe from Spring boot 3.2 onwards as there is no need to downgrade.