}

    /**
     * Set the value of crawlerExecTime, used in parameter comment. <br>
     * Even if empty string, treated as empty plainly. So "IF pmb != null" is false if empty.
     * @param crawlerExecTime The parameter value of crawlerExecTime. (NotNull)
     */
    public void setCrawlerExecTime(String crawlerExecTime) {
        registerVariable("crawlerExecTime", crawlerExecTime);
    }

    /**

                    }
                    postcard.setCrawlerEndTime(getValueFromMap(dataMap, "crawlerEndTime", StringUtil.EMPTY));
                    postcard.setCrawlerExecTime(getValueFromMap(dataMap, "crawlerExecTime", "0"));
                    postcard.setCrawlerStartTime(getValueFromMap(dataMap, "crawlerStartTime", StringUtil.EMPTY));

    /** Info map key for crawler end time. */
    public static final String CRAWLER_END_TIME = "CrawlerEndTime";

    /** Info map key for crawler execution time. */
    public static final String CRAWLER_EXEC_TIME = "CrawlerExecTime";

    /** Info map key for web/file system crawler start time. */
    public static final String WEB_FS_CRAWLER_START_TIME = "WebFsCrawlStartTime";

    /** Info map key for web/file system crawler end time. */