removed dependency to deadlockdebugger