static void bitSetSet(BitSet b, int bit) {
  setBit(b, bit);
}