Upgrade to Spring 7

[axl8713]

Description

These changes cover the Spring 7 upgrade for MapStore.

Key changes:

• Spring Framework 5.x → 7.0.7
• Spring Security 5.x → 7.0.5
• Jakarta Servlet API 6.0.0 (Jakarta EE 10, aligned with GeoServer ecosystem)
• Tomcat 10.1.55 (Tomcat 10.1 is the target for EE 10)
• Minimum supported JDK raised to 17 (required by Spring 7; aligned with GeoServer)
• Maven compiler source/target updated from 8 to 17 in java/services/pom.xml
• All CI/CD workflows updated to use JDK 17 as the build JDK; CI matrix still tests on [17, 21]

Please check if the PR fulfills these requirements

• The commit message follows our guidelines: https://github.com/geosolutions-it/MapStore2/blob/master/CONTRIBUTING.md
• Tests for the changes have been added (for bug fixes / features)
• Docs have been added / updated (for bug fixes / features)

What kind of change does this PR introduce? (check one with "x", remove the others)

• Bugfix
• Feature
• Code style update (formatting, local variables)
• Refactoring (no functional changes, no api changes)
• Build related changes
• CI related changes
• Other... Please describe:

Issue

What is the current behavior?

#

What is the new behavior?

Breaking change

Does this PR introduce a breaking change? (check one with "x", remove the other)

• Yes, and I documented them in migration notes
• [] No

There will be a new set of requirements to have the GeoStore with Spring 7 running.

Other useful information