{  get_change_list().addElement(listener);   }
{ listenerList.add(PropertyChangeListener.class, listener); }
	public void addPropertyChangeListener(PropertyChangeListener listener)	{  get_change_list().addElement(listener);   }