Test on Java 24 instead of 23

[Vampire]

No description provided.

[Vampire]

• Add Java 25 LTS as Java version #2212
• Test on Java 24 instead of 23 #2217 👈 (View in Graphite)
• Move the declaration of additional test Java versions to gradle.properties #2211
• Improve the list parsing in the workflow scripts #2210
• master

This stack of pull requests is managed by Graphite. Learn more about stacking.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.90%. Comparing base (f961225) to head (dd41c0d).

Additional details and impacted files

@@                           Coverage Diff                            @@
##             vampire/move-additional-java-versions    #2217   +/-   ##
========================================================================
  Coverage                                    81.90%   81.90%           
  Complexity                                    4732     4732           
========================================================================
  Files                                          463      463           
  Lines                                        14767    14767           
  Branches                                      1869     1869           
========================================================================
  Hits                                         12095    12095           
  Misses                                        1981     1981           
  Partials                                       691      691           

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.