On Tue, 10 Jun 2025 18:52:16 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > This fixes the build. @JoKern65: Please check if the code is still correct after https://github.com/openjdk/jdk/commit/500a3a2d0af0a3f7cf58b909bbbc2aa25926d8b4. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25734#issuecomment-2960290542