Update deadlocks.txt