Skip to content

Conversation

@mtf90
Copy link
Member

@mtf90 mtf90 commented Nov 21, 2025

This PR raises the minimal Java version to 17 and includes certain cleanups that the new language features allow for.

Addtionally, it adds support for the new Java LTS version 25. As this requires a bump in our analysis plugins which include new/improved checks, this also contains the necessary refactorings to make the build process pass again.

mtf90 and others added 6 commits September 27, 2025 20:54
spotbugs + pmd-plugin still need new releases that work on Java 25
updates to the analysis plugins required some adjustments
the benefit of records has not yet been looked at
@mtf90 mtf90 merged commit d43669b into LearnLib:develop Nov 21, 2025
17 of 20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant