removed the kludge of changing the record separator by dumping the entire KeyMaster object rather than the KeyHolders individually