Hi, I accidentally fat fingered the JavaDoc of Stream which got consumed into an unrelated patch that i pushed [1]. Thanks go to Martin for noticing this.
Paul. [1] http://hg.openjdk.java.net/jdk9/dev/jdk/rev/e93b7ea55975 diff -r b909daf8fdbc src/java.base/share/classes/java/util/stream/Stream.java --- a/src/java.base/share/classes/java/util/stream/Stream.java Tue Oct 11 12:33:15 2016 +0200 +++ b/src/java.base/share/classes/java/util/stream/Stream.java Tue Oct 11 14:23:46 2016 -0700 @@ -282,7 +282,7 @@ */ <R> Stream<R> flatMap(Function<? super T, ? extends Stream<? extends R>> mapper); - /**: + /** * Returns an {@code IntStream} consisting of the results of replacing each * element of this stream with the contents of a mapped stream produced by * applying the provided mapping function to each element. Each mapped