void () { myNewMapping.addAll(myResult.getTopRoots()); myNewMapping.reportLonelyRoots(myResult.getLonelyRoots()); myNewFilteredMapping.addAll(new UniqueRootsFilter().filter(myResult.getTopRoots())); runUpdateMappings(); }