| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 23010 | 6dadb192ad81 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
145 public Object clone() { |
145 public Object clone() { |
146 try { |
146 try { |
147 return super.clone(); |
147 return super.clone(); |
148 } catch (CloneNotSupportedException e) { |
148 } catch (CloneNotSupportedException e) { |
149 // this shouldn't happen, since we are Cloneable |
149 // this shouldn't happen, since we are Cloneable |
150 throw new InternalError(); |
150 throw new InternalError(e); |
151 } |
151 } |
152 } |
152 } |
153 } |
153 } |