this.maxThreadCheckCount = maxThreadCheckCount;
    }

    /**
     * Returns the maximum depth.
     * @return The maximum depth.
     */
    public int getMaxDepth() {
        return maxDepth;
    }

    /**
     * Sets the maximum depth.
     * @param maxDepth The maximum depth.
     */
    public void setMaxDepth(final int maxDepth) {