!7 p { startDeadlockDetector(); } html { L l = printDeadlocks_lastDeadlock; if (l == null) ret "No deadlocks"; ret h1("Deadlock with " + n(l, "threads") + "!") + pre(htmlencode(deadlockedThreadsToString(l))); }