FontMetrics fm = getFontMetrics();
	protected void paintHighlight(Graphics gfx, int line, int y)	{		/* Clear the line's bounding rectangle */		FontMetrics fm = getFontMetrics();		int gap = fm.getMaxDescent() + fm.getLeading();		gfx.setColor(getBackground());		gfx.fillRect(0,y + gap,offImg.getWidth(this),fm.getHeight());		if(line >= textArea.getSelectionStartLine()			&& line <= textArea.getSelectionEndLine())			paintLineHighlight(gfx,line,y);		if(bracketHighlight && line == textArea.getBracketLine())			paintBracketHighlight(gfx,line,y);		if(line == textArea.getCaretLine())			paintCaret(gfx,line,y);	}