void updateStopped(){
synchronized (componentList) {
    for (    WorkspaceComponent component : componentList) {
      component.doStopped();
    }
  }
}

void updateStopped ( ) { synchronized ( componentList ) { for ( WorkspaceComponent component : componentList ) { component . doStopped ( ) ; } } }
should be called when updating is stopped .
