hg: jdk/sandbox: merge

[julia.boes at oracle.com]

Changeset: fe8283c6fb8c
Author:    jboes
Date:      2020-04-14 14:39 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/fe8283c6fb8c

merge

! src/java.base/share/classes/java/util/stream/DoubleStream.java
! src/java.base/share/classes/java/util/stream/Stream.java