equal
deleted
inserted
replaced
106 public Object clone() { |
106 public Object clone() { |
107 try { |
107 try { |
108 return super.clone(); |
108 return super.clone(); |
109 } catch (CloneNotSupportedException e) { |
109 } catch (CloneNotSupportedException e) { |
110 // this shouldn't happen, since we are Cloneable |
110 // this shouldn't happen, since we are Cloneable |
111 throw new InternalError(); |
111 throw new InternalError(e); |
112 } |
112 } |
113 } |
113 } |
114 |
114 |
115 /* |
115 /* |
116 * Useful for simple debugging |
116 * Useful for simple debugging |