--- a/jdk/src/share/classes/java/util/Collection.java	Fri Jul 12 20:44:34 2013 +0100
+++ b/jdk/src/share/classes/java/util/Collection.java	Fri Jul 12 15:01:08 2013 -0700
@@ -537,6 +537,7 @@
      * @return a {@code Spliterator} over the elements in this collection
      * @since 1.8
      */
+    @Override
     default Spliterator<E> spliterator() {
         return Spliterators.spliterator(this, 0);
     }