--- old/src/share/classes/java/util/EnumSet.java 2010-12-15 14:40:41.647945198 -0800 +++ new/src/share/classes/java/util/EnumSet.java 2010-12-15 14:40:41.419611083 -0800 @@ -110,9 +110,9 @@ throw new ClassCastException(elementType + " not an enum"); if (universe.length <= 64) - return new RegularEnumSet(elementType, universe); + return new RegularEnumSet<>(elementType, universe); else - return new JumboEnumSet(elementType, universe); + return new JumboEnumSet<>(elementType, universe); } /** @@ -430,7 +430,7 @@ } Object writeReplace() { - return new SerializationProxy(this); + return new SerializationProxy<>(this); } // readObject method for the serialization proxy pattern