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