Update double-checked-locking9.txt