if (newRes == null || newRes.isEmpty()) {
addMessage(request, "No matching trees found");
} else {
if (oldRes == null) {
oldRes = new TreeSearchResults(newRes);
} else { oldRes.intersect(newRes); }
}
saveSearchResults(request, oldRes);
LOGGER.info("doSearch '" + searchType + "' after intersection: " + oldRes.size() + " result(s)");
return new ModelAndView("search/treeTopSearch", Constants.RESULT_SET, oldRes);