1) Define server and set as "Default Server"
2) delete the server configuration and it's removed from the Servers view
3) Default server still shows that server as the default

Probably want to detect the deleted server and change the default to: no default server defined option