org.gjt.sp.jedit.search.HyperSearchRequest.run()
org.gjt.sp.jedit.search.HyperSearchResults.searchStarted()
org.gjt.sp.jedit.search.HyperSearchResults.searchFailed()
org.gjt.sp.jedit.search.HyperSearchResults.searchDone(DefaultMutableTreeNode,DefaultMutableTreeNode)