hg: jdk9/dev/jdk: 8164934: Optional.map() javadoc code example

[paul.sandoz at oracle.com]

Changeset: a02d6daeba2a
Author:    psandoz
Date:      2016-11-09 10:36 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/a02d6daeba2a

8164934: Optional.map() javadoc code example
Reviewed-by: forax, chegar

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