hg: jdk9/dev/jdk: 8080418: Add Optional.or()

[paul.sandoz at oracle.com]

Changeset: 423df075cf72
Author:    psandoz
Date:      2015-10-19 11:28 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/423df075cf72

8080418: Add Optional.or()
Reviewed-by: chegar, forax, scolebourne

! src/java.base/share/classes/java/util/Optional.java
! src/java.base/share/classes/java/util/OptionalDouble.java
! src/java.base/share/classes/java/util/OptionalInt.java
! src/java.base/share/classes/java/util/OptionalLong.java
! test/java/util/Optional/Basic.java