hg: code-tools/jmh: Option -> Optional.

[aleksey.shipilev at oracle.com]

Changeset: 310927fb382e
Author:    shade
Date:      2014-01-13 15:42 +0400
URL:       http://hg.openjdk.java.net/code-tools/jmh/rev/310927fb382e

Option -> Optional.

! jmh-core/src/main/java/org/openjdk/jmh/processor/internal/MethodGroup.java
! jmh-core/src/main/java/org/openjdk/jmh/runner/BenchmarkRecord.java
- jmh-core/src/main/java/org/openjdk/jmh/util/internal/Option.java
+ jmh-core/src/main/java/org/openjdk/jmh/util/internal/Optional.java