On Wed, 2020-03-11 at 12:47 +0000, Langer, Christoph wrote: > OK, I guess you're right. Here is the new webrev: > http://cr.openjdk.java.net/~clanger/webrevs/8189861.11u.1/ Looks good. Thanks, Severin