static <A> Enumeration<A> enumeration(Collection<A> c) {
  ret c == null ? emptyEnumeration() : Collections.enumeration(c);
}