Remove dependency on Collections.emptyEnumeration() from Java 1.7