On 2020-04-02 20:21, Langer, Christoph wrote: > OK, I created an edition which doesn't change the formatting so that the added code becomes more obvious: > http://cr.openjdk.java.net/~clanger/webrevs/8242039.1/ > > Does it look better? I think so, yes. /Claes