if(data.isEmpty())
if(resultModel.isEmpty())
	private void doHyperSearch()	{		try		{			positions.removeAllElements();			buffer = view.getBuffer();			int tabSize = buffer.getTabSize();			Vector data = new Vector();			SearchMatcher matcher = SearchAndReplace				.getSearchMatcher();			if(matcher == null)			{				view.getToolkit().beep();				return;			}			Element map = buffer.getDefaultRootElement();			int lines = map.getElementCount();			for(int i = 1; i <= lines; i++)			{				Element lineElement = map.getElement(i - 1);				int start = lineElement.getStartOffset();				String lineString = buffer.getText(start,					lineElement.getEndOffset() - start					- 1);				int[] match = matcher.nextMatch(lineString);				if(match != null)				{					data.addElement(i + ":"						+ lineString);					positions.addElement(buffer						.createPosition(start + match[0]));				}			}			if(data.isEmpty())				view.getToolkit().beep();			results.setListData(data);		}		catch(Exception e)		{			Object[] args = { e.getMessage() };			if(args[0] == null)				args[0] = e.toString();			GUIUtilities.error(view,"searcherror",args);		}	}