change operations in BitSets to be compatible with java 1.6