set.add(__INCLUDE_PATH_INFO);
if (_pathInfo!=null) set.add(__INCLUDE_PATH_INFO); else set.remove(__INCLUDE_PATH_INFO);
        public Enumeration getAttributeNames()        {            HashSet set=new HashSet();            Enumeration e=_attr.getAttributeNames();            while(e.hasMoreElements())                set.add(e.nextElement());                        if (_named==null)            {                set.add(__INCLUDE_PATH_INFO);                set.add(__INCLUDE_REQUEST_URI);                set.add(__INCLUDE_SERVLET_PATH);                set.add(__INCLUDE_CONTEXT_PATH);                set.add(__INCLUDE_QUERY_STRING);            }            else            {                set.remove(__INCLUDE_PATH_INFO);                set.remove(__INCLUDE_REQUEST_URI);                set.remove(__INCLUDE_SERVLET_PATH);                set.remove(__INCLUDE_CONTEXT_PATH);                set.remove(__INCLUDE_QUERY_STRING);            }                        return Collections.enumeration(set);        }