| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 14342 | 8435a30053c1 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
270 StringCharacterIterator other |
270 StringCharacterIterator other |
271 = (StringCharacterIterator) super.clone(); |
271 = (StringCharacterIterator) super.clone(); |
272 return other; |
272 return other; |
273 } |
273 } |
274 catch (CloneNotSupportedException e) { |
274 catch (CloneNotSupportedException e) { |
275 throw new InternalError(); |
275 throw new InternalError(e); |
276 } |
276 } |
277 } |
277 } |
278 |
278 |
279 } |
279 } |