On Fri, 22 Sep 2023 17:36:11 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> And leave `Utils.runAndCheckException` out of the fix? I'm fine either way. > > I'm OK either way too. +1. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15844#discussion_r1334884534