equal
deleted
inserted
replaced
1090 BitSet result = (BitSet) super.clone(); |
1090 BitSet result = (BitSet) super.clone(); |
1091 result.words = words.clone(); |
1091 result.words = words.clone(); |
1092 result.checkInvariants(); |
1092 result.checkInvariants(); |
1093 return result; |
1093 return result; |
1094 } catch (CloneNotSupportedException e) { |
1094 } catch (CloneNotSupportedException e) { |
1095 throw new InternalError(); |
1095 throw new InternalError(e); |
1096 } |
1096 } |
1097 } |
1097 } |
1098 |
1098 |
1099 /** |
1099 /** |
1100 * Attempts to reduce internal storage used for the bits in this bit set. |
1100 * Attempts to reduce internal storage used for the bits in this bit set. |