Update double-checked-locking2.txt