if(bracketPos == lastBracket) return;  lastBracket = bracketPos;
	public void setHighlightedBracket(int bracketPos)	{		if(bracketHighlightTag == null)			return;		try		{			if(bracketPos == -1)				getHighlighter().changeHighlight(					bracketHighlightTag,0,0);			else				getHighlighter().changeHighlight(					bracketHighlightTag,bracketPos,					bracketPos+1);		}		catch(BadLocationException bl)		{			bl.printStackTrace();		}	}