// Text Fragment Constants
    // ============================================================

    /** Text fragments feature identifier. */
    public static final String TEXT_FRAGMENTS = "text_fragments";

    /** Text fragment type for query highlighting. */
    public static final String TEXT_FRAGMENT_TYPE_QUERY = "query";

    /** Text fragment type for result highlighting. */

        final TextFragment[] textFragments = (TextFragment[]) document.get(Constants.TEXT_FRAGMENTS);
        if (textFragments != null) {
            final StringBuilder buf = new StringBuilder(1000);
            buf.append(url).append("#:~:");
            for (int i = 0; i < textFragmentSize && i < textFragments.length; i++) {
                buf.append(textFragments[i].toURLString()).append('&');
            }