chars[i] = (char) values[i];
        }
        return chars;
    }

    String getQueryHighlightTerminalChars();

    default int[] getQueryHighlightTerminalCharsAsArray() {
        return getCrawlerDocumentCharsAsArray(QUERY_HIGHLIGHT_TERMINAL_CHARS, getQueryHighlightTerminalChars());
    }

    String getHttpFileuploadMaxSize();

    default Long getHttpFileuploadMaxSizeAsLong() {

     * comment: Unicode terminal characters for query highlighting.
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getQueryHighlightTerminalChars();

    /**
     * Get the value for the key 'query.highlight.fragment.size'. <br>
     * The value is, e.g. 60 <br>
     * comment: Fragment size for query highlighting.