The change looks fine to me. Thanks Max > On Dec 4, 2018, at 1:11 AM, Seán Coffey <sean.coffey at oracle.com> wrote: > > whoops: > latest webrev : http://cr.openjdk.java.net/~coffeys/webrev.8213952.v4/webrev/ > Regards, > Sean.