6061626364656667686970
/* 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) {