private void fireLayoutChanged(Layout layout) {
Iterator it = modificationListeners.iterator();
while (it.hasNext()) {
LayoutModificationListener listener =
(LayoutModificationListener) it.next();
listener.layoutModified(layout);
}
}
// Javadoc not required
public void addLayoutModificationListener(