protected void SaveIDMappings() { // if requested, save ID mappings if (save_user_mapping_file != null) { user_mapping.SaveMapping(save_user_mapping_file); } if (save_item_mapping_file != null) { item_mapping.SaveMapping(save_item_mapping_file); } }