Wow - nice :-) On 2018-12-14 13:43, Doug Lea wrote: > On 12/13/18 2:34 PM, Patrick Reinhart wrote: >> Should I prepare a webrev for this change? > > No, I think we are all set (thanks Martin!) > https://bugs.openjdk.java.net/browse/JDK-8215359 > > >