org.gjt.sp.jedit.search.HyperSearchOperationNode.getSearchString()
org.gjt.sp.jedit.search.HyperSearchOperationNode.getSearchMatcher()
org.gjt.sp.jedit.search.HyperSearchRequest.run()
org.gjt.sp.jedit.search.HyperSearchResults.RedoSearchAction.actionPerformed(ActionEvent)