/** Returns the attribute name for the specified attribute */
public String get_attribute_name(Attribute a) {
int con_index = a.getNameIndex();
Constant c = pgen.getConstant(con_index);
String att_name = ((ConstantUtf8) c).getBytes();
return (att_name);
}
/** Returns the attribute name for the specified attribute */
public static String get_attribute_name(Attribute a, ConstantPoolGen pool) {
int con_index = a.getNameIndex();
Constant c = pool.getConstant(con_index);
String att_name = ((ConstantUtf8) c).getBytes();
return (att_name);
}