On Mon, 23 Oct 2023 01:10:56 GMT, David Holmes <dholmes at openjdk.org> wrote: > It is out-of-order un-locking not locking though. Gah. Okay, renamed! ------------- PR Comment: https://git.openjdk.org/jdk/pull/16273#issuecomment-1774725908