/** @return deep copy of this attribute */
public Attribute copy(ConstantPool constant_pool) {
ExceptionTable c = (ExceptionTable) clone();
c.exception_index_table = (int[]) exception_index_table.clone();
c.constant_pool = constant_pool;
return c;
}
