| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 22584 | eed64ee05369 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
111 // frc, cm do not need deep clone |
111 // frc, cm do not need deep clone |
112 try { |
112 try { |
113 return super.clone(); |
113 return super.clone(); |
114 } |
114 } |
115 catch (CloneNotSupportedException e) { |
115 catch (CloneNotSupportedException e) { |
116 throw new InternalError(); |
116 throw new InternalError(e); |
117 } |
117 } |
118 } |
118 } |
119 } |
119 } |