Hi Claes, On 08.03.20 15:12, Claes Redestad wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8240302 > Webrev: http://cr.openjdk.java.net/~redestad/8240669/open.00/ Looks good to me too (you've linked the wrong bug). Best regards, Tobias