equal
deleted
inserted
replaced
967 public Object clone() { |
967 public Object clone() { |
968 try { |
968 try { |
969 return super.clone(); |
969 return super.clone(); |
970 } catch (CloneNotSupportedException e) { |
970 } catch (CloneNotSupportedException e) { |
971 // Since we implement Cloneable, this should never happen |
971 // Since we implement Cloneable, this should never happen |
972 throw new InternalError(); |
972 throw new InternalError(e); |
973 } |
973 } |
974 } |
974 } |
975 |
975 |
976 /** |
976 /** |
977 * Sets all of the attributes of this PageAttributes to the same values as |
977 * Sets all of the attributes of this PageAttributes to the same values as |