Changeset: 97fd3557fe3c Author: shade Date: 2014-06-05 02:00 +0400 URL: http://hg.openjdk.java.net/code-tools/jmh/rev/97fd3557fe3c util: clean up Optional. ! jmh-core/src/main/java/org/openjdk/jmh/runner/BenchmarkRecord.java ! jmh-core/src/main/java/org/openjdk/jmh/util/Optional.java