equal
deleted
inserted
replaced
433 public Object clone() { |
433 public Object clone() { |
434 try { |
434 try { |
435 return super.clone(); |
435 return super.clone(); |
436 } catch (CloneNotSupportedException e) { |
436 } catch (CloneNotSupportedException e) { |
437 // this shouldn't happen |
437 // this shouldn't happen |
438 throw new InternalError(); |
438 throw new InternalError(e); |
439 } |
439 } |
440 } |
440 } |
441 |
441 |
442 /** |
442 /** |
443 * Converts calendar date values to a <code>String</code> in the |
443 * Converts calendar date values to a <code>String</code> in the |