Made Java naming changes to BitVector.