public DefiniteAssignmentBitSet (DefiniteAssignmentBitSet source) { if (source.large_bits != null) { large_bits = source.large_bits; bits = source.bits | copy_on_write_flag; } else { bits = source.bits & ~copy_on_write_flag; } }