/* TODO Experimental Highlight Support */
List<String> wordsToHighlight = fViewer.getHighlightedWords();
if (!wordsToHighlight.isEmpty()) {
StringBuilder highlightedResult = new StringBuilder(result.length());
ExpandingReader resultHighlightReader = new ExpandingReader(new StringReader(result), wordsToHighlight, PRE_HIGHLIGHT, POST_HIGHLIGHT, true);
int len = 0;
char[] buf = new char[1000];
try {
while ((len = resultHighlightReader.read(buf)) != -1)
highlightedResult.append(buf, 0, len);
return highlightedResult.toString();
} catch (IOException e) {
Activator.getDefault().logError(e.getMessage(), e);