write_xml_content($key_file, $source_file_for{$key_file}, $out_fh, ' ' x 4);