// inform the listeners
LayoutEvent ev=new LayoutEvent(this,node);
for(Iterator i=listeners.iterator();i.hasNext();) {
LayoutEventListener lel=(LayoutEventListener)i.next();
lel.folderUpdated(ev);
}
pushFolderDiffsIntoPlf( newFolderElement,
(UserLayoutFolderDescription) node,
oldFolder );
}