+1 On 4/28/2020 1:19 PM, Johan Vos wrote: > Hi Kevin, > > Please review http://cr.openjdk.java.net/~jvos/8244042/webrev.00/ > which fixes https://bugs.openjdk.java.net/browse/JDK-8244042 > > Thanks, > > - Johan