if(lineHighlightTag == null) return;
	public void setHighlightedLine(int lineStart, int lineEnd)	{		try		{			getHighlighter().changeHighlight(lineHighlightTag,				lineStart,lineEnd);		}		catch(BadLocationException bl)		{			bl.printStackTrace();		}	}