> On Dec 11, 2019, at 7:53 AM, Aleksei Voitylov <aleksei.voitylov at bell-sw.com> wrote: > > Kim, > > You are right. Here is an updated webrev: > > http://cr.openjdk.java.net/~avoitylov/webrev.8231612.05/ Looks good.