}

    /**
     * Sets the character encoding for URL links.
     *
     * @param urlLinkEncoding the character encoding to use
     */
    public void setUrlLinkEncoding(final String urlLinkEncoding) {
        this.urlLinkEncoding = urlLinkEncoding;
    }

    /**
     * Sets the original highlight tag prefix.
     *