if (attribs[i].begin_index > getEndIndex() || attribs[i].end_index <= getBeginIndex()) continue;
getAllAttributeKeys(){  HashSet s = new HashSet();  if (attribs == null)    return(s);  for (int i = 0; i < attribs.length; i++)    {      Set key_set = attribs[i].attribs.keySet();      Iterator iter = key_set.iterator();      while (iter.hasNext())        {          s.add(iter.next());        }    }  return(s);}