equal
deleted
inserted
replaced
126 public Object clone() { |
126 public Object clone() { |
127 try { |
127 try { |
128 return super.clone(); |
128 return super.clone(); |
129 } catch (CloneNotSupportedException e) { |
129 } catch (CloneNotSupportedException e) { |
130 /* Cannot happen */ |
130 /* Cannot happen */ |
131 throw new InternalError(e.toString()); |
131 throw new InternalError(e.toString(), e); |
132 } |
132 } |
133 } |
133 } |
134 |
134 |
135 /** |
135 /** |
136 * Returns a formatted string describing the parameters. |
136 * Returns a formatted string describing the parameters. |