| changeset 10419 | 12c063b39232 |
| parent 10336 | 0bb1999251f8 |
| child 10782 | 01689c7b34ac |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
492 public Object clone() { |
492 public Object clone() { |
493 try { |
493 try { |
494 return super.clone(); |
494 return super.clone(); |
495 } catch (CloneNotSupportedException e) { |
495 } catch (CloneNotSupportedException e) { |
496 /* Cannot happen */ |
496 /* Cannot happen */ |
497 throw new InternalError(e.toString()); |
497 throw new InternalError(e.toString(), e); |
498 } |
498 } |
499 } |
499 } |
500 } |
500 } |
501 |
501 |
502 /** |
502 /** |