public Enumeration getInitParameterNames()
    {
        if (_initParams==null)
            return Collections.enumeration(Collections.EMPTY_LIST);
        return Collections.enumeration(_initParams.keySet());
    }
public Enumeration getInitParameterNames ( ) { if ( _initParams == null ) return Collections . enumeration ( Collections . EMPTY_LIST ) ; return Collections . enumeration ( _initParams . keySet ( ) ) ; }
/* ------------------------------------------------------------