On 2019-07-16 17:01, Chris Hegarty wrote: >> On 16 Jul 2019, at 15:06, Claes Redestad <claes.redestad at oracle.com> wrote: >> Webrev: http://cr.openjdk.java.net/~redestad/8227720/open.00/ > > This looks good to me Claes. Thanks for doing it. Reviewed. Thanks for reviewing, Chris! /Claes