On Mon, 18 Sep 2023 19:34:49 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Simple specification clarification. looks good ------------- Marked as reviewed by vromero (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/15795#pullrequestreview-1631883024