Thank you Kim and Dmitry for your reviews! On 11/12/2019 16:42, Kim Barrett wrote: >> 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. >