public void test_BasicKeyManager_to_xml()
{
Console.WriteLine("Existing BasicKeyManager:");
var basic_key_manager = new BasicKeyManager(key_manager_xml);
Console.WriteLine(basic_key_manager.to_xml());
Console.WriteLine("\n");
Console.WriteLine("New BasicKeyManager:");
basic_key_manager = new BasicKeyManager();
basic_key_manager.add_key("temp");
Console.WriteLine(basic_key_manager.to_xml());
}
