KVStore's dumpToFIle and restoreFromFile correctly implemented