--- a/jdk/src/share/classes/java/util/stream/Stream.java	Fri Aug 02 11:10:41 2013 -0700
+++ b/jdk/src/share/classes/java/util/stream/Stream.java	Mon Aug 05 07:50:16 2013 -0700
@@ -827,6 +827,7 @@
      * @return the new stream
      */
     @SafeVarargs
+    @SuppressWarnings("varargs") // Creating a stream from an array is safe
     public static<T> Stream<T> of(T... values) {
         return Arrays.stream(values);
     }