diff -r 0d4231d25a29 -r d3d40ccb544e jdk/src/share/classes/java/util/Optional.java
--- a/jdk/src/share/classes/java/util/Optional.java	Tue Aug 06 18:16:02 2013 -0700
+++ b/jdk/src/share/classes/java/util/Optional.java	Tue Aug 06 18:18:12 2013 -0700
@@ -307,7 +307,7 @@
             return false;
         }
 
-        Optional other = (Optional) obj;
+        Optional<?> other = (Optional<?>) obj;
         return Objects.equals(value, other.value);
     }