if (noticeHighlightPairs!=null) {
for (int j=0; j<noticeHighlightPairs.size(); j++) {
NoticeHighlightPair pair =
(NoticeHighlightPair)noticeHighlightPairs.get(j);
ParserNotice notice = pair.notice;
if (notice.containsPosition(pos)) {
tip = notice.getToolTipText();
parserForTip = notice.getParser();
if (parserForTip instanceof HyperlinkListener) {
listener = (HyperlinkListener)parserForTip;
}