public void addModelListener(ModelListener ml) {
		if (modelListenerList == null)
			modelListenerList = new ArrayList<ModelListener>();
		if (!modelListenerList.contains(ml))
			modelListenerList.add(ml);
	}