| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 23010 | 6dadb192ad81 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
389 public Object clone() { |
389 public Object clone() { |
390 try { |
390 try { |
391 return super.clone(); |
391 return super.clone(); |
392 } catch (CloneNotSupportedException e) { |
392 } catch (CloneNotSupportedException e) { |
393 // this shouldn't happen, since we are Cloneable |
393 // this shouldn't happen, since we are Cloneable |
394 throw new InternalError(); |
394 throw new InternalError(e); |
395 } |
395 } |
396 } |
396 } |
397 } |
397 } |