Did you mean (for openjdk7): DefaultHighlighter   setHighlighter   LayeredHighlighter   createHighlighter   getHighlighter  

Your search defs:_setResultHighlighter did not match any files.
Suggestions: