On 20.03.2018 14:41, Roland Westrelin wrote: > The problem then is that if the jtreg tests are run with non default > arguments, the test might fail. Right. For simplicity, it's probably best to go with webrev.01 then. Thanks, Tobias