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);