Le 22/05/2023 à 18:27, Markus Koschany a écrit :
Can you think of a simpler solution for this problem?
I'll get a look. Intuitively I think that if no Tomcat internals are used, the javax.servlet classes should still be used since Tomcat 10 works with both javax and jakarta namespaces.
If necessary we may also consider using the tomcat-jakartaee-migration tool at build time instead of patching the source files.
Emmanuel
