java6 fix (BitSet.previousSetBit)