| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 12860 | 9ffbd4e43413 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
173 public Object clone() { |
173 public Object clone() { |
174 try { |
174 try { |
175 return super.clone(); |
175 return super.clone(); |
176 } catch (CloneNotSupportedException e) { |
176 } catch (CloneNotSupportedException e) { |
177 /* Cannot happen */ |
177 /* Cannot happen */ |
178 throw new InternalError(e.toString()); |
178 throw new InternalError(e.toString(), e); |
179 } |
179 } |
180 } |
180 } |
181 } |
181 } |