On Wed, 10 Aug 2022 08:01:41 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote: > It's a bit shorter and clearer. Looks fine to me. ------------- Marked as reviewed by jpai (Reviewer). PR: https://git.openjdk.org/jdk/pull/9816