labels.crawling_info_WebFsCrawlEndTime=Crawl end time (Web/File system)
labels.crawling_info_WebFsIndexExecTime=Indexing exec time (Web/File system)
labels.crawling_info_WebFsIndexSize=Index size (Web/File system)
labels.crawling_info_DataCrawlExecTime=Crawl exec time (Data store)
labels.crawling_info_DataCrawlStartTime=Crawl start time (Data store)
labels.crawling_info_DataCrawlEndTime=Crawl end time (Data store)

                    type: boolean
                    example: false
                  start_record_number:
                    type: integer
                    example: 1
                  end_record_number:
                    type: integer
                    example: 20
                  page_numbers:
                    type: array
                    items:
                      type: string

L1470:                    this.setEndDate(start.clone());
L1471:                }
L1472:            } else if (this.endDate) {
L1473:                var end = this.endDate.clone();
L1474:                end.hour(hour);
L1475:                end.minute(minute);
L1476:                end.second(second);
L1477:                this.setEndDate(end);
L1478:            }
L1479:
L1480:            //update the calendars so all clickable dates reflect the new time component
L1481:            this.updateCalendars();
...

<setting id="org.eclipse.jdt.core.formatter.brace_position_for_block" value="end_of_line"/>
<setting id="org.eclipse.jdt.core.formatter.brace_position_for_constructor_declaration" value="end_of_line"/>
<setting id="org.eclipse.jdt.core.formatter.brace_position_for_lambda_body" value="end_of_line"/>
<setting id="org.eclipse.jdt.core.formatter.compact_else_if" value="true"/>

    /** The key of the message: Document ID */
    public static final String LABELS_DOC_ID = "{labels.docId}";

    /** The key of the message: End Time */
    public static final String LABELS_END_TIME = "{labels.endTime}";

    /** The key of the message: hq */
    public static final String LABELS_HQ = "{labels.hq}";

    /** The key of the message: Source */

            buf.append(",\"prev_page\":");
            buf.append(escapeJson(prevPage));
            buf.append(",\"start_record_number\":");
            buf.append(startRecordNumber);
            buf.append(",\"end_record_number\":");
            buf.append(escapeJson(endRecordNumber));
            buf.append(",\"page_numbers\":");
            buf.append(escapeJson(pageNumbers));
            buf.append(",\"partial\":");

        try (final JsonParser jsonParser = jsonFactory.createJsonParser(jwtClaim)) {
            while (jsonParser.nextToken() != JsonToken.END_OBJECT) {
                final String name = jsonParser.getCurrentName();
                if (name != null) {
                    jsonParser.nextToken();

                    // TODO other parameters

-negative:0!important;flex-shrink:0!important}.flex-shrink-1{-ms-flex-negative:1!important;flex-shrink:1!important}.justify-content-start{-ms-flex-pack:start!important;justify-content:flex-start!important}.justify-content-end{-ms-flex-pack:end!important;justify-content:flex-end!important}.justify-content-center{-ms-flex-pack:center!important;justify-content:center!important}.justify-content-between{-ms-flex-pack:justify!important;justify-content:space-between!important}.justify-content-around{-m...

      ...

e{content:"\f47d"}.fa-hospital-symbol:before{content:"\f47e"}.fa-hot-tub:before{content:"\f593"}.fa-hotdog:before{content:"\f80f"}.fa-hotel:before{content:"\f594"}.fa-hotjar:before{content:"\f3b1"}.fa-hourglass:before{content:"\f254"}.fa-hourglass-end:before{content:"\f253"}.fa-hourglass-half:before{content:"\f252"}.fa-hourglass-start:before{content:"\f251"}.fa-house-damage:before{content:"\f6f1"}.fa-houzz:before{content:"\f27c"}.fa-hryvnia:before{content:"\f6f2"}.fa-html5:before{content:"\f13b"...