hg: jdk9/dev/jdk: 8130023: API java.util.stream: explicitly specify guaranteed execution of the pipeline

[paul.sandoz at oracle.com]

Changeset: 871cb8793270
Author:    psandoz
Date:      2016-05-20 11:47 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/871cb8793270

8130023: API java.util.stream: explicitly specify guaranteed execution of the pipeline
Reviewed-by: briangoetz, redestad

! src/java.base/share/classes/java/util/stream/DoubleStream.java
! src/java.base/share/classes/java/util/stream/IntStream.java
! src/java.base/share/classes/java/util/stream/LongStream.java
! src/java.base/share/classes/java/util/stream/Stream.java
! src/java.base/share/classes/java/util/stream/package-info.java