Update double-checked-locking11.txt