| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 20451 | 4cedf4e1560a |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
1120 public Object clone() { |
1120 public Object clone() { |
1121 try { |
1121 try { |
1122 return super.clone(); |
1122 return super.clone(); |
1123 } catch (CloneNotSupportedException e) { |
1123 } catch (CloneNotSupportedException e) { |
1124 // this shouldn't happen, since we are Cloneable |
1124 // this shouldn't happen, since we are Cloneable |
1125 throw new InternalError(); |
1125 throw new InternalError(e); |
1126 } |
1126 } |
1127 } |
1127 } |
1128 } |
1128 } |