private static void moveHighlight(final JEditorPane editor,
final int start, final int end) {
Highlighter highlighter = editor.getHighlighter();
Object tag = highlightTags.get(highlighter);
if (tag != null) {
highlighter.removeHighlight(tag);
highlightTags.remove(highlighter);
}
try {
tag = highlighter.addHighlight(start, end,
new LinkHighlightPainter());