code: @Pure
    protected final String get_attribute_name(Attribute a) {
      int con_index = a.getNameIndex();
      Constant c = pool.getConstant(con_index);
      String att_name = ((ConstantUtf8) c).getBytes();
      return att_name;
    }
docs: Return the attribute name for the specified attribute.
  
  @param a the attribute
  @return the attribute name for the specified attribute