/** Empty user ID placeholder. */
    public static final String EMPTY_USER_ID = "<empty>";

    /** Crawler process command for thread dump. */
    public static final String CRAWLER_PROCESS_COMMAND_THREAD_DUMP = "thread_dump";

    // ============================================================
    // Path and Configuration Constants
    // ============================================================

    }

    /**
     * Print a thread dump.
     * @param form The edit form.
     * @return The HTML response.
     */
    @Execute
    @Secured({ ROLE })
    public HtmlResponse threaddump(final EditForm form) {
        verifyCrudMode(form.crudMode, CrudMode.DETAILS);
        validate(form, messages -> {}, this::asDetailsHtml);
        verifyToken(this::asDetailsHtml);
        final String id = form.id;