SERVER 14425: add license header to deadlock.h