public void highlight(int start, int end) {
		removeHighlights();
		try {
			getHighlighter().addHighlight(start, end, myHighlightPainter);
		} catch (BadLocationException e) {
			e.printStackTrace();
		}
	}