On Tue, 9 May 2023 01:43:39 GMT, David Holmes <dholmes at openjdk.org> wrote: > Just trying to understand where this has ended up. IIUC the change: Yes, all of them are correct. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13398#issuecomment-1539394920