| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 23010 | 6dadb192ad81 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
72 public Object clone() { |
72 public Object clone() { |
73 try { |
73 try { |
74 return super.clone(); |
74 return super.clone(); |
75 } catch (CloneNotSupportedException e) { |
75 } catch (CloneNotSupportedException e) { |
76 // Since we implement Cloneable, this should never happen |
76 // Since we implement Cloneable, this should never happen |
77 throw new InternalError(); |
77 throw new InternalError(e); |
78 } |
78 } |
79 } |
79 } |
80 |
80 |
81 } |
81 } |