| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 23010 | 6dadb192ad81 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
106 public Object clone() { |
106 public Object clone() { |
107 try { |
107 try { |
108 return super.clone(); |
108 return super.clone(); |
109 } catch (CloneNotSupportedException e) { |
109 } catch (CloneNotSupportedException e) { |
110 // this shouldn't happen, since we are Cloneable |
110 // this shouldn't happen, since we are Cloneable |
111 throw new InternalError(); |
111 throw new InternalError(e); |
112 } |
112 } |
113 } |
113 } |
114 } |
114 } |