Update Tomcat to version 10.1.42

[coderkun]

Update the Tomcat version to 10.1.42 and fix its Servlet version¹ to 6.0.0.

¹ https://tomcat.apache.org/whichversion.html

[boris-petrov]

Thank you! You know that you can configure these in your own project in gradle.properties, right?

[coderkun]

You know that you can configure these in your own project in gradle.properties, right?

Ah, I did not know! Thanks for the hint.

[boris-petrov]

I personally use tomcat9Version = 9.0.106 in my gradle.properties file (on Gretty 3). And then I have ext.tomcatVersion = properties.tomcat9Version in build.gradle. And then I use tomcatVersion in some of the dependencies I use. I've forgotten which of the two makes Gretty use that specific version.

[coderkun]

tomcat9Version in gradle.properties does the trick. Thanks again!