{ resultTreeRoot.insert(bufferNode, resultTreeRoot.getChildCount()); resultTreeModel.reload(resultTreeRoot); }
{ if(resultsFound) GUIUtilities.message(view,"hypersearch-done",pp); else GUIUtilities.message(view,"hypersearch-no-results",null); }
			public void run()			{				resultTreeRoot.insert(bufferNode,					resultTreeRoot.getChildCount());				resultTreeModel.reload(resultTreeRoot);			}