--- old/src/share/classes/java/util/Collection.java	2013-07-09 15:26:29.343067819 -0700
+++ new/src/share/classes/java/util/Collection.java	2013-07-09 15:26:28.815067828 -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);
     }