if(!driverChangeListeners.contains(listener)) { driverChangeListeners.add(listener); }
if(!driverChangeListeners.contains(listener)) { driverChangeListeners.add(listener);
	public void addDriverChangeListener(MidiDriverChangeListener listener) {		if(!driverChangeListeners.contains(listener)) {			driverChangeListeners.add(listener);		}	}