158159160161162163164165166
} } public SearchManager getSearchManager() { if (searchManager == null) { searchManager = new SearchManager(); } return searchManager; }