// the listeners the search was started so we don't have
// to do anything else
}
public synchronized void searchFinished(SearchEvent e) {
SearchQuery queryin = (SearchQuery) e.getSource();
// Loop through all the queries and match this one
if (queries != null) {
Enumeration enum1 = queries.elements();
while (enum1.hasMoreElements()) {
SearchQuery query = (SearchQuery) enum1.nextElement();
if (query == queryin) {
queryin.removeSearchListener(this);
queries.removeElement(query);
}
}