equal
deleted
inserted
replaced
256 public Object clone() { |
256 public Object clone() { |
257 try { |
257 try { |
258 return super.clone(); |
258 return super.clone(); |
259 } catch (CloneNotSupportedException e) { |
259 } catch (CloneNotSupportedException e) { |
260 // will never happen |
260 // will never happen |
261 return null; |
261 throw new InternalError(e); |
262 } |
262 } |
263 } |
263 } |
264 |
264 |
265 // |
265 // |
266 // Convenience methods for creating AttributedCharacterIterators from |
266 // Convenience methods for creating AttributedCharacterIterators from |