equal
deleted
inserted
replaced
134 public Object clone() { |
134 public Object clone() { |
135 try { |
135 try { |
136 return super.clone(); |
136 return super.clone(); |
137 } catch (CloneNotSupportedException e) { |
137 } catch (CloneNotSupportedException e) { |
138 /* Cannot happen */ |
138 /* Cannot happen */ |
139 throw new InternalError(e.toString()); |
139 throw new InternalError(e.toString(), e); |
140 } |
140 } |
141 } |
141 } |
142 |
142 |
143 /** |
143 /** |
144 * Return a printable representation of this |
144 * Return a printable representation of this |