equal
deleted
inserted
replaced
120 public Object clone() { |
120 public Object clone() { |
121 try { |
121 try { |
122 return super.clone(); |
122 return super.clone(); |
123 } catch (CloneNotSupportedException e) { |
123 } catch (CloneNotSupportedException e) { |
124 /* Cannot happen */ |
124 /* Cannot happen */ |
125 throw new InternalError(e.toString()); |
125 throw new InternalError(e.toString(), e); |
126 } |
126 } |
127 } |
127 } |
128 |
128 |
129 /** |
129 /** |
130 * Returns a formatted string describing the parameters. |
130 * Returns a formatted string describing the parameters. |