equal
deleted
inserted
replaced
109 public Object clone() { |
109 public Object clone() { |
110 try { |
110 try { |
111 LiveRef newRef = (LiveRef) super.clone(); |
111 LiveRef newRef = (LiveRef) super.clone(); |
112 return newRef; |
112 return newRef; |
113 } catch (CloneNotSupportedException e) { |
113 } catch (CloneNotSupportedException e) { |
114 throw new InternalError(e.toString()); |
114 throw new InternalError(e.toString(), e); |
115 } |
115 } |
116 } |
116 } |
117 |
117 |
118 /** |
118 /** |
119 * Return the port number associated with this ref. |
119 * Return the port number associated with this ref. |