On 03/01/2017 09:50 PM, Jerzy Krolak wrote: > See the patch. Thanks, I had to polish the patch a little before pushing. Pushed under: https://bugs.openjdk.java.net/browse/CODETOOLS-7901907 http://hg.openjdk.java.net/code-tools/jcstress/rev/39e191f3e52e -Aleksey