--- old/src/share/classes/java/util/EnumSet.java	2011-01-14 00:00:53.000000000 -0800
+++ new/src/share/classes/java/util/EnumSet.java	2011-01-14 00:00:53.000000000 -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);