+1 Vladimir On 1/17/19 12:33 AM, Roland Westrelin wrote: > >> webrev: http://cr.openjdk.java.net/~mikael/webrevs/8217266/webrev.00/open/webrev/ <http://cr.openjdk.java.net/~mikael/webrevs/8217266/webrev.00/open/webrev/> > > That looks good to me. > > Roland. >