docBits = ((BitDocSet)docSet).getBits(); } else { docBits = new Bits() {
docBits = ((BitDocSet)docSet).getBits(); } else { docBits = new Bits() {
OpenBitSet bs = (OpenBitSet)((BitDocSet)docs).getBits().clone(); bs.flip(0, maxDoc);
OpenBitSet bs = (OpenBitSet) ((BitDocSet) docs).getBits().clone(); bs.flip(0, maxDoc);