> On 11 Oct 2018, at 13:28, Pavel Rappo <pavel.rappo at oracle.com> wrote: > > Hello, > > Please review the following change: > > http://cr.openjdk.java.net/~prappo/8212001/webrev.00 <http://cr.openjdk.java.net/~prappo/8212001/webrev.00> This looks good. Thanks Pavel. -Chris.