[PATCH] update method declaration for WhiteBoxAPI

[Bernhard Urban]

Thanks Aleksey!

-Bernhard

On 12/24/2013 07:52 PM, Aleksey Shipilev wrote:
> Hi Bernhard,
>
> Sorry for long reply, busy vacation time.
>
> Thanks for the patch, committed:
>      http://hg.openjdk.java.net/code-tools/jcstress/rev/a8b8f1b68101
>
> -Aleksey.
>