I had 'Server1' defined in the servers view. Then I created 'Server2' of a different type server/different Teiid display name.

I then selected "Change Default Server", but it did not give me an option between the two servers - it just selected 'Server1'.

I had to stop/restart Designer - then the second server showed up.