On Mon, 15 Mar 2021 22:20:38 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > Robbin, > The fix looks good to me. Thank you for taking care about this issue! > Thanks, > Serguei Thanks Serguei! ------------- PR: https://git.openjdk.java.net/jdk/pull/3010