Thanks again! Best regards, Tobias On 03.07.19 10:13, Roland Westrelin wrote: > >> Good catch, here's a new webrev: >> http://cr.openjdk.java.net/~thartmann/8227033/webrev.01/ > > Good. > > Roland. >