public static ManagedMachine ToManagedMachine(this ServerType server)
 {
     return(new ManagedMachine(server.id, server.GetFqdnList(), server.name,
                               server.GetIpAddresses(), server.GetMachineState(), "default"));
 }