254255256257258259260261262263264
result.intersectResults(oldResultObject); } else { result.addResults(oldResultObject); } result.addHistoryInfo(oldResultObject.getHistoryInfo()); } return result; }