bitvector.jar