}

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

    /**

                    postcard.setDataIndexSize(getValueFromMap(dataMap, "dataIndexSize", "0"));
                    postcard.setDataIndexExecTime(getValueFromMap(dataMap, "dataIndexExecTime", "0"));
                    postcard.setHostname(getValueFromMap(dataMap, "hostname", StringUtil.EMPTY));
                    postcard.setWebFsCrawlEndTime(getValueFromMap(dataMap, "webFsCrawlEndTime", StringUtil.EMPTY));

    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. */
    public static final String DATA_INDEX_SIZE = "DataIndexSize";

    /** Session identifier key. */
    public static final String SESSION_ID = "sessionId";