Fix `NoSuchMethodError` for `DeferredDiagnosticHandler.getDiagnostics()` on JDK 25 EA#1367

Merged

bulldozer-bot[bot] merged 5 commits intodevelopfrom

Jul 16, 2025

Commits on May 21, 2025

fix: support JDK 25 API change
Guillaume Nodet
committed

Commits on May 28, 2025

Merge branch 'develop' into jdk25
gnodet
authored

Commits on Jul 2, 2025

Cache the method handle in a constant, no need for two fallbacks
gnodet
committed

Commits on Jul 16, 2025