--- old/src/share/classes/java/util/function/DoubleBinaryOperator.java	2012-11-26 17:52:59.955299912 -0800
+++ new/src/share/classes/java/util/function/DoubleBinaryOperator.java	2012-11-26 17:52:59.747299901 -0800
@@ -29,10 +29,10 @@
  *
  * @since 1.8
  */
-public interface DoubleBinaryOperator /* extends BinaryOperator<Double> */ {
-//
-//    @Override
-//    public default Double operate(Double left, Double right) { return operateAsDouble((double) left, (double) right); }
+public interface DoubleBinaryOperator extends BinaryOperator<Double> {
+
+    @Override
+    public default Double operate(Double left, Double right) { return operateAsDouble((double) left, (double) right); }
 
     /**
      * Returns the {@code double} result of the operation upon the