JDK 8 code review request forJDK-8024354: Explicitly permit DoubleStream.sum()/average() implementations to use higher precision summation

[Joe Darcy]

Hello,

Please review the patch below which addresses

         JDK-8024354 Explicitly permit DoubleStream.sum()/average() 
implementations to use higher precision summation

Thanks,

-Joe

diff -r f1e31376f419 
src/share/classes/java/util/DoubleSummaryStatistics.java
--- a/src/share/classes/java/util/DoubleSummaryStatistics.java Wed Oct 
09 00:10:02 2013 +0100
+++ b/src/share/classes/java/util/DoubleSummaryStatistics.java Tue Oct 
08 18:54:55 2013 -0700
@@ -118,6 +118,11 @@
       * value is a {@code NaN} or the sum is at any point a {@code NaN} 
then the
       * sum will be {@code NaN}.
       *
+     * @implNote This method may be implemented using compensated
+     * summation or other technique to reduce the error bound in the
+     * numerical sum compared to a simple summation of {@code double}
+     * values.
+     *
       * @return the sum of values, or zero if none
       */
      public final double getSum() {
@@ -161,6 +166,10 @@
       * value is a {@code NaN} or the sum is at any point a {@code NaN} 
then the
       * average will be {@code NaN}.
       *
+     * @implNote This method may be implemented using compensated
+     * summation or other technique to reduce the error bound in the
+     * numerical sum used to compute the average.
+     *
       * @return the arithmetic mean of values, or zero if none
       */
      public final double getAverage() {