PersistentManager - implemented destructor