> On Sep 20, 2020, at 10:17 AM, Boris Ulasevich <boris.ulasevich at bell-sw.com> wrote: > > Hi, > > Yes, the change is Ok. > It will fix JDK-8213483 by the way. > Thanks for doing this! > > regards, > Boris Thanks.