On 01/30/2017 04:56 PM, Roman Kennke wrote: > http://cr.openjdk.java.net/~rkennke/fixdoublemarks/webrev.00/ Looks good. Confirmed the double-marking is gone with my runs. The descriptions in options like "Defaults to 25%" are not true anymore though. Thanks, -Aleksey