jdk/src/share/classes/java/util/EnumSet.java
changeset 8151 88b01a6d5f51
parent 7803 56bc97d69d93
child 9035 1255eb81cc2f
--- a/jdk/src/share/classes/java/util/EnumSet.java	Mon Jan 24 11:47:06 2011 -0800
+++ b/jdk/src/share/classes/java/util/EnumSet.java	Mon Jan 24 20:04:08 2011 -0800
@@ -317,6 +317,7 @@
      *     or if <tt>rest</tt> is null
      * @return an enum set initially containing the specified elements
      */
+    @SafeVarargs
     public static <E extends Enum<E>> EnumSet<E> of(E first, E... rest) {
         EnumSet<E> result = noneOf(first.getDeclaringClass());
         result.add(first);