equal
deleted
inserted
replaced
681 // other class fields are immutable to public, don't bother |
681 // other class fields are immutable to public, don't bother |
682 // to clone the read-only fields. |
682 // to clone the read-only fields. |
683 return copy; |
683 return copy; |
684 } catch (CloneNotSupportedException e) { |
684 } catch (CloneNotSupportedException e) { |
685 /* Cannot happen */ |
685 /* Cannot happen */ |
686 throw new InternalError(e.toString()); |
686 throw new InternalError(e.toString(), e); |
687 } |
687 } |
688 } |
688 } |
689 |
689 |
690 /** |
690 /** |
691 * Returns a formatted string describing the parameters. |
691 * Returns a formatted string describing the parameters. |