Would be cleaner to make that final and to keep one and the same BitVector at all times (if it changes, only its content changes but it stays the same object).