public void SetValue(object key, object value) { //TODO: more efficient, but is behaviour as expected? //if ((value == null) && (dict.ContainsKey (key))) // dict.Remove (key); //else dict[key] = value; }