Upgrade spring from 5 to 6

[tdrwenski]

This PR upgrades from Spring 5 to 6. In order to achieve this, the following other upgrades are needed:

• Jakarta EE 9
• Jakarta servlet 5
• Hibernate 7
• Gretty 4
• Tomcat 10

Other notable changes:

• Many EE libraries require namespace changes from Javax to Jakarta in Jakarta EE 9
• Spring 6 no longer uses the ant path match by default, so several changes are made to applicationContext.xml to continue to use ant
• Gretty 4 no longer allows gradle configurations for the tomcat logs, so an AdminDebug test that expects those logs is ignored
• Use Jakarta servlet 6 for the spring mock tests (see here)
• Update schemas
• Update documentation to refer to Tomcat 10

Please see list of commits for all changes.