Good. Thanks, Vladimir On 10/18/17 7:11 AM, Roland Westrelin wrote: > > Thanks for the review, Vladimir. I followed your suggestion. Here is a > ready to push changeset: > > http://cr.openjdk.java.net/~roland/8188223/8188223.patch > > Roland. >