}
        return pattern.matcher(version).matches();
    }

    String getQueryHighlightBoundaryChars();

    default char[] getQueryHighlightBoundaryCharsAsArray() {
        final int[] values = getCrawlerDocumentCharsAsArray(QUERY_HIGHLIGHT_BOUNDARY_CHARS, getQueryHighlightBoundaryChars());
        final char[] chars = new char[values.length];
        for (int i = 0; i < values.length; i++) {

     * The value is, e.g. u0009u000Au0013u0020 <br>
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */
    String getQueryHighlightBoundaryChars();

    /**
     * Get the value for the key 'query.highlight.boundary.max.scan'. <br>
     * The value is, e.g. 20 <br>