On 2018-09-27 22:14, Mikael Vidstedt wrote: > Here’s the new webrev I’m trying out now, please review: > > http://cr.openjdk.java.net/~mikael/webrevs/8211176/webrev.01/open/webrev/ Looks good, thanks for doing this! /Claes