| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 11081 | 4a18889223e4 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
751 */ |
751 */ |
752 try { |
752 try { |
753 return super.clone(); |
753 return super.clone(); |
754 } |
754 } |
755 catch (CloneNotSupportedException e) { |
755 catch (CloneNotSupportedException e) { |
756 throw new InternalError(); |
756 throw new InternalError(e); |
757 } |
757 } |
758 } |
758 } |
759 |
759 |
760 /* |
760 /* |
761 * Utility to throw an expection if an invalid TextHitInfo is passed |
761 * Utility to throw an expection if an invalid TextHitInfo is passed |