}
private synchronized void fireUpdateChangeEvent(WGDesignChangeEvent designEvent) {
Iterator listeners = _designChangeListeners.iterator();
while (listeners.hasNext()) {
WGDesignChangeListener listener = (WGDesignChangeListener) listeners.next();
listener.designChanged(designEvent);
}
}