On Tue, 27 Sep 2022 11:21:40 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote: > Hi, > > This implements Kim's suggested fix for this ticket. Looks good. ------------- Marked as reviewed by coleenp (Reviewer). PR: https://git.openjdk.org/jdk/pull/10447