--- a/jdk/src/share/classes/java/util/Collection.java	Thu Sep 12 13:20:26 2013 -0400
+++ b/jdk/src/share/classes/java/util/Collection.java	Fri Sep 06 22:20:01 2013 -0700
@@ -549,6 +549,7 @@
      * @return a {@code Spliterator} over the elements in this collection
      * @since 1.8
      */
+    @Override
     default Spliterator<E> spliterator() {
         return Spliterators.spliterator(this, 0);
     }