static BitSet cloneBitSet(BitSet b) {
  ret (BitSet) b.clone();
}