}

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

    /**

                    postcard.setDataCrawlEndTime(getValueFromMap(dataMap, "dataCrawlEndTime", StringUtil.EMPTY));
                    postcard.setDataCrawlExecTime(getValueFromMap(dataMap, "dataCrawlExecTime", "0"));
                    postcard.setDataCrawlStartTime(getValueFromMap(dataMap, "dataCrawlStartTime", StringUtil.EMPTY));
                    postcard.setDataIndexSize(getValueFromMap(dataMap, "dataIndexSize", "0"));

    public static final String WEB_FS_INDEX_SIZE = "WebFsIndexSize";

    /** Info map key for data crawling execution time. */
    public static final String DATA_CRAWLING_EXEC_TIME = "DataCrawlExecTime";

    /** Info map key for data indexing execution time. */
    public static final String DATA_INDEX_EXEC_TIME = "DataIndexExecTime";

    /** Info map key for data index size. */