On Tue, 20 May 2025 14:07:54 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > The new simpler patch looks great! Thanks for persevering!!! thanks for the reviews! ------------- PR Comment: https://git.openjdk.org/jdk/pull/25011#issuecomment-2894577851