--- a/jdk/src/share/classes/java/util/stream/Streams.java	Fri Jan 17 16:25:17 2014 +0100
+++ b/jdk/src/share/classes/java/util/stream/Streams.java	Fri Jan 17 12:28:59 2014 -0500
@@ -715,6 +715,7 @@
 
         @Override
         public T_SPLITR trySplit() {
+            @SuppressWarnings("unchecked")
             T_SPLITR ret = beforeSplit ? aSpliterator : (T_SPLITR) bSpliterator.trySplit();
             beforeSplit = false;
             return ret;