17011702170317041705170617071708170917101711
public void handleModifyEvent(CatalogModifyEvent event) { } public void handlePostModifyEvent(CatalogPostModifyEvent event) { CatalogInfo src = event.getSource(); src.accept(catalogVisitor); } public void reloaded() { }
5758596061626364656667
if ( reason != null ) { notRemoved.put(root, reason); i.remove(); } else { root.accept(visitor); } } visitor.removeAll(roots); // add roots
5859606162636465666768