public void Load(string configFileName)
        {
            RefIdManager.Reset( );

            try {
                using (TextReader reader = new StreamReader(configFileName)) {
                    Configuration = (ConfigurationRoot)_serializer.Deserialize(reader);
                }
            }
            catch (Exception e) {
                Debug.Print("ConfigurationManager.Load: caught exception reading '{0}':\n{1}", configFileName, e);
                throw;
            }
            Debug.Print("ConfigurationManager.Load: RefIdManager.Peek() [2] returns {0}", RefIdManager.Peek( ));
        }
        public void Load(string configFileName)
        {
            RefIdManager.Reset( );

            Debug.Print("ConfigurationManager.Load: Trying to read configuration file '{0}'", configFileName);
            try {
                using (TextReader reader = new StreamReader(configFileName)) {
                    var serializer = new XmlSerializer(typeof(ConfigurationRoot), ConfigurationNameSpace);
                    Configuration = (ConfigurationRoot)serializer.Deserialize(reader);
                }
            }
            catch (Exception e) {
                Debug.Print("ConfigurationManager.Load: caught exception reading '{0}':\n{1}", configFileName, e);
                throw;
            }
            Debug.Print("ConfigurationManager.Load: RefIdManager.Peek() returns {0}", RefIdManager.Peek( ));
        }