hg: lambda/lambda/jdk: No extends of final Optional

[henry.jen at oracle.com]

Changeset: 3f4fe80fc7bd
Author:    henryjen
Date:      2013-07-11 13:59 -0700
URL:       http://hg.openjdk.java.net/lambda/lambda/jdk/rev/3f4fe80fc7bd

No extends of final Optional

! src/share/classes/java/util/Optional.java