Thanks Robbin! /Per On 05/18/2018 02:25 PM, Robbin Ehn wrote: >> >> Here's an updated webrev for continued discussion: >> >> http://cr.openjdk.java.net/~pliden/8203227/webrev.1 > > Looks good, Robbin > >> >> cheers, >> Per >> >>> >>> Thanks, >>> David >>> >>>> /Per