public void addObserver(CounterObserver observer) {
   observers.addElement(observer);
   observer.update(this);
 }