127128129130131132133134135
*/ public Enumeration getAttributeNames() { synchronized (attributes) { return new Enumerator(attributes.keySet(), true); } }
155156157158159160161162163
public Enumeration getInitParameterNames() { mergeParameters(); synchronized (parameters) { return (new Enumerator(parameters.keySet())); } }