Better implementation of DeadlockCycle#toString()