153154155156157158159160161162163
} public Enumeration<Object> elements() { Provider p = getProvider(); if (p != null) { return p.elements(); } else { return emptyEnumeration; } }