# HG changeset patch
# User psandoz
# Date 1369747350 -7200
# Node ID 91e138d3b298299b5f485c906170dc82f82e255c
# Parent  0652101517a39b79e59df08e78ee502466914923
8014393: Minor typo in the spec for j.u.stream.Stream.findFirst()
Reviewed-by: alanb, chegar

diff -r 0652101517a3 -r 91e138d3b298 jdk/src/share/classes/java/util/stream/DoubleStream.java
--- a/jdk/src/share/classes/java/util/stream/DoubleStream.java	Thu May 30 16:08:43 2013 +0200
+++ b/jdk/src/share/classes/java/util/stream/DoubleStream.java	Tue May 28 15:22:30 2013 +0200
@@ -603,7 +603,7 @@
     /**
      * Returns an {@link OptionalDouble} describing the first element of this
      * stream (in the encounter order), or an empty {@code OptionalDouble} if
-     * the stream is empty.  If the stream has no encounter order, than any
+     * the stream is empty.  If the stream has no encounter order, then any
      * element may be returned.
      *
      * <p>This is a <a href="package-summary.html#StreamOps">short-circuiting
diff -r 0652101517a3 -r 91e138d3b298 jdk/src/share/classes/java/util/stream/IntStream.java
--- a/jdk/src/share/classes/java/util/stream/IntStream.java	Thu May 30 16:08:43 2013 +0200
+++ b/jdk/src/share/classes/java/util/stream/IntStream.java	Tue May 28 15:22:30 2013 +0200
@@ -588,7 +588,7 @@
     /**
      * Returns an {@link OptionalInt} describing the first element of this
      * stream (in the encounter order), or an empty {@code OptionalInt} if the
-     * stream is empty.  If the stream has no encounter order, than any element
+     * stream is empty.  If the stream has no encounter order, then any element
      * may be returned.
      *
      * <p>This is a <a href="package-summary.html#StreamOps">short-circuiting
diff -r 0652101517a3 -r 91e138d3b298 jdk/src/share/classes/java/util/stream/LongStream.java
--- a/jdk/src/share/classes/java/util/stream/LongStream.java	Thu May 30 16:08:43 2013 +0200
+++ b/jdk/src/share/classes/java/util/stream/LongStream.java	Tue May 28 15:22:30 2013 +0200
@@ -588,7 +588,7 @@
     /**
      * Returns an {@link OptionalLong} describing the first element of this
      * stream (in the encounter order), or an empty {@code OptionalLong} if the
-     * stream is empty.  If the stream has no encounter order, than any element
+     * stream is empty.  If the stream has no encounter order, then any element
      * may be returned.
      *
      * <p>This is a <a href="package-summary.html#StreamOps">short-circuiting
diff -r 0652101517a3 -r 91e138d3b298 jdk/src/share/classes/java/util/stream/Stream.java
--- a/jdk/src/share/classes/java/util/stream/Stream.java	Thu May 30 16:08:43 2013 +0200
+++ b/jdk/src/share/classes/java/util/stream/Stream.java	Tue May 28 15:22:30 2013 +0200
@@ -754,7 +754,7 @@
     /**
      * Returns an {@link Optional} describing the first element of this stream
      * (in the encounter order), or an empty {@code Optional} if the stream is
-     * empty.  If the stream has no encounter order, than any element may be
+     * empty.  If the stream has no encounter order, then any element may be
      * returned.
      *
      * <p>This is a <a href="package-summary.html#StreamOps">short-circuiting