| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 21278 | ef8a3a2a72f2 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
1393 public Object clone() { |
1393 public Object clone() { |
1394 try { |
1394 try { |
1395 return super.clone(); |
1395 return super.clone(); |
1396 } catch (CloneNotSupportedException e) { |
1396 } catch (CloneNotSupportedException e) { |
1397 // this shouldn't happen, since we are Cloneable |
1397 // this shouldn't happen, since we are Cloneable |
1398 throw new InternalError(); |
1398 throw new InternalError(e); |
1399 } |
1399 } |
1400 } |
1400 } |
1401 } |
1401 } |