use java.util.BitSet as underlying bitset