@ObserverRegisterer(ObserverTypes.PROPERTY_LISTENER) public void addPropertyChangeListener(PropertyChangeListener listener) { listeners.add(listener); listener.propertyChange(new PropertyChangeEvent(this, "history", 0, getHistory())); listener.propertyChange(new PropertyChangeEvent(this, "tokens", 0, getTokens())); }