emptyEnumeration is java7