code: public String getName(int i) {
          if (i < 0 || i >= names.size()) {
              return null;
          }
          return names.get(i);
      }
docs: Get the name of an attribute (by position).
  
  @param i The position of the attribute in the list.
  @return The attribute name as a string, or null if there
  is no attribute at that position.
  @see org.xml.sax.AttributeList#getName(int)