| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 23010 | 6dadb192ad81 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
250 public Object clone() { |
250 public Object clone() { |
251 try { |
251 try { |
252 return super.clone(); |
252 return super.clone(); |
253 } catch (CloneNotSupportedException e) { |
253 } catch (CloneNotSupportedException e) { |
254 // this shouldn't happen, since we are Cloneable |
254 // this shouldn't happen, since we are Cloneable |
255 throw new InternalError(); |
255 throw new InternalError(e); |
256 } |
256 } |
257 } |
257 } |
258 } |
258 } |