/** Releases resources and detaches listeners. */ public void destroy() { scheduler.cancel(searchUpdater); scheduler.cancel(renderer); searchUi.getSearch().reset(); searchUi.reset(); search.removeListener(this); profiles.removeListener(this); }