On Mon, 2020-03-09 at 08:05 +0000, Baesken, Matthias wrote: > Bug/webrev : > > https://bugs.openjdk.java.net/browse/JDK-8240724 > > http://cr.openjdk.java.net/~mbaesken/webrevs/8240724_jdk11u/ Looks good. Thanks for fixing this. Cheers, Severin