| changeset 10419 | 12c063b39232 |
| parent 9035 | 1255eb81cc2f |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
1567 public Object clone() { |
1567 public Object clone() { |
1568 try { |
1568 try { |
1569 return super.clone(); |
1569 return super.clone(); |
1570 } catch (CloneNotSupportedException e) { |
1570 } catch (CloneNotSupportedException e) { |
1571 // this shouldn't happen, since we are Cloneable |
1571 // this shouldn't happen, since we are Cloneable |
1572 throw new InternalError(); |
1572 throw new InternalError(e); |
1573 } |
1573 } |
1574 } |
1574 } |
1575 } |
1575 } |