WordSearcher searcher
java.lang.String lastSearch
javax.swing.text.Highlighter.Highlight[] h
int index