protected void fireModelEvent(ModelChangeEvent event) throws GUIException {
if (views != null) {
/* Update all views */
for (Iterator i=views.iterator(); i.hasNext(); ) {
View view = (View) i.next();
/* Dont send events back to their source */
if (view != event.getSource()) {
view.modelChanged(event);
}
}
}
if (modelChangeListeners != null) {