public void addUpdateListener(PreferenceUpdateListener listener){
  updateListeners.add(listener);
}

public void addUpdateListener ( PreferenceUpdateListener listener ) { updateListeners . add ( listener ) ; }
adds a listener to be notified whenever the preferences have been updated ( that is , stored to file ) .
