Bumped required Java to Java 25

[cicirello]

Summary

Increased minimum supported Java version to Java 25. Necessitated by dependencies (core and rho-mu) which now require Java 25.

Closing Issues

Closes #518

Pull Request Requirements

If you are unable to check everything in this list, your pull request will be closed:

• I have read the CONTRIBUTING document.
• My pull request has a corresponding Issue and I linked to it above in the Closing Issues section.

Types of Changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Improvements to existing code, such as refactoring or optimizations (non-breaking)
• Breaking change (fix or feature that would cause existing functionality to change)
• My code follows the code style of this project.
• My change requires a change to the documentation.
• I have updated the documentation accordingly.
• I have added tests to cover my changes.
• All new and existing tests passed.

[github-actions]

JaCoCo Test Coverage Summary Statistics

• Coverage: 100%
• Branches: 100%