Upgrade from javax.servlet-api-3.1 to jakarta.servlet-api:4.0 and ban javax.servlet:javax.servlet-api#693
Merged
olamy merged 9 commits intojenkinsci:masterfrom jeromepochat:fix/servlet-apiApr 28, 2023
+80-5
