public Attribute copy( final ConstantPool _constant_pool ) { final LineNumberTable c = (LineNumberTable) clone(); c.line_number_table = new LineNumber[line_number_table.length]; for (int i = 0; i < line_number_table.length; i++) { c.line_number_table[i] = line_number_table[i].copy(); } c.setConstantPool(_constant_pool); return c; }