Changeset: 6b09d3c067fc Author: shade Date: 2013-07-04 13:35 +0400 URL: http://hg.openjdk.java.net/code-tools/jcstress/rev/6b09d3c067fc Minor touchups in options help. ! harness/src/main/java/org/openjdk/jcstress/Options.java