Exposing the bit vector iterator to Java for the RangeVector