On 07/11/18 14:12, Pavel Rappo wrote: > Hello, > > Please review the following change: > > http://cr.openjdk.java.net/~prappo/8210493/webrev.00 Thanks for doing this Pavel. The changes in the webrev look good to me. -Chris.