is there already an issue for 25 migration? PMD already has migrated to 25. Wondering whats about check. - https://inside.java/2025/08/24/roadto25-upgrade/ - https://docs.openrewrite.org/recipes/java/migrate/upgradetojava25 - https://github.com/checkstyle/checkstyle/pull/17730 - https://github.com/pmd/pmd/issues/5478
is there already an issue for 25 migration? PMD already has migrated to 25. Wondering whats about check.
Rewrite:UpgradeToJava17#17730