}

    /**
     * Sets the original highlight tag prefix.
     *
     * @param originalHighlightTagPre the highlight tag prefix
     */
    public void setOriginalHighlightTagPre(final String originalHighlightTagPre) {
        this.originalHighlightTagPre = originalHighlightTagPre;
    }

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