this.bracketHighlight = bracketHighlight;
if(bracketHighlightTag != null) getHighlighter().removeHighlight(bracketHighlightTag);  if(bracketHighlight) { try { bracketHighlightTag = getHighlighter().addHighlight( 0,0,new BracketHighlighter()); } catch(BadLocationException bl) { bl.printStackTrace(); } } else bracketHighlightTag = null;
	public void setBracketHighlight(boolean bracketHighlight)	{		this.bracketHighlight = bracketHighlight;	}