Changeset: a8b8f1b68101 Author: shade Date: 2013-12-24 22:52 +0400 URL: http://hg.openjdk.java.net/code-tools/jcstress/rev/a8b8f1b68101 Update WhiteBox API. Contributed-by: Bernhard Urban <bernhard.urban at jku.at> ! harness/src/main/java/sun/hotspot/WhiteBox.java