+1
> On May 7, 2018, at 1:40 PM, Hannes Wallnöfer <hannes.wallnoe...@oracle.com> > wrote: > > Please review: > > Bug: https://bugs.openjdk.java.net/browse/JDK-8200716 > Webrev: http://cr.openjdk.java.net/~hannesw/8200716/webrev/ > > Thanks, > Hannes