On Fri, 18 Oct 2024 03:54:40 GMT, John R Rose <jrose at openjdk.org> wrote: > Happily, that day has come. Yes, feeling happy! I have been waiting to get rid of this last piece! ------------- PR Comment: https://git.openjdk.org/jdk/pull/21571#issuecomment-2422885117