On Tue, 20 May 2025 22:33:57 GMT, Phil Race <prr at openjdk.org> wrote: > I don't think that necessary for this case. But it is possible and will not freeze this change in stone forever. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24991#issuecomment-2896035156