protected void resetSearch(){
  if (searchString != null && searchResult != null) {
    labelProvider.setSearchString(null);
    labelProvider.setSearchResultElement(null);
    if (!searchResult.isEmpty())     updateTreeViewer(searchResult);
  }
}

protected void resetSearch ( ) { if ( searchString != null && searchResult != null ) { labelProvider . setSearchString ( null ) ; labelProvider . setSearchResultElement ( null ) ; if ( ! searchResult . isEmpty ( ) ) updateTreeViewer ( searchResult ) ; } }
resets the search string and the search result .
