*/
    public static final String DATE_FORMAT_ISO_8601_EXTEND_UTC = "yyyy-MM-dd'T'HH:mm:ss.SSS'Z'";

    /**
     * Digit only date format: yyyyMMddHHmmss
     */
    public static final String DATE_FORMAT_DIGIT_ONLY = "yyyyMMddHHmmss";

    /**
     * Do not instantiate.
     */
    protected CoreLibConstants() {
    }

            }
        }, "keyMatchHelper");

        // Execute without setting session ID
        String result = crawlJob.execute();

        assertNotNull(crawlJob.sessionId);
        // Check format: yyyyMMddHHmmss
        assertEquals(14, crawlJob.sessionId.length());
        assertTrue(crawlJob.sessionId.matches("\\d{14}"));
        assertTrue(result.contains("Session Id: " + crawlJob.sessionId));
    }

        final boolean runAll = webConfigIds == null && fileConfigIds == null && dataConfigIds == null;

        if (sessionId == null) { // create session id
            final SimpleDateFormat sdf = new SimpleDateFormat("yyyyMMddHHmmss");
            sessionId = sdf.format(new Date());
        }
        resultBuf.append("Session Id: ").append(sessionId).append("\n");
        resultBuf.append("Web  Config Id:");
        if (webConfigIds == null) {

        if (StringUtil.isBlank(options.sessionId)) {
            // use a default session id
            final SimpleDateFormat sdf = new SimpleDateFormat("yyyyMMddHHmmss");
            options.sessionId = sdf.format(new Date());
        } else {
            options.sessionId = options.sessionId.replace('-', '_');
        }

            assertNull(options.sessionId);

            // Simulate what process() does - generate default sessionId
            if (options.sessionId == null) {
                SimpleDateFormat sdf = new SimpleDateFormat("yyyyMMddHHmmss");
                options.sessionId = sdf.format(new Date());
            }

            // Check that sessionId was generated
            assertNotNull(options.sessionId);