equal
deleted
inserted
replaced
251 try { |
251 try { |
252 HashSet<E> newSet = (HashSet<E>) super.clone(); |
252 HashSet<E> newSet = (HashSet<E>) super.clone(); |
253 newSet.map = (HashMap<E, Object>) map.clone(); |
253 newSet.map = (HashMap<E, Object>) map.clone(); |
254 return newSet; |
254 return newSet; |
255 } catch (CloneNotSupportedException e) { |
255 } catch (CloneNotSupportedException e) { |
256 throw new InternalError(); |
256 throw new InternalError(e); |
257 } |
257 } |
258 } |
258 } |
259 |
259 |
260 /** |
260 /** |
261 * Save the state of this <tt>HashSet</tt> instance to a stream (that is, |
261 * Save the state of this <tt>HashSet</tt> instance to a stream (that is, |