private class ServerListener implements ServerConnectionListener {
@Override
public void serverConnectionChanged(ServerConnectionEvent evt) {
model.setKnownServers(serverManager.getRegisteredServers());
ServerInfo currentServer = serverManager.getCurrentServerInfo();
if (currentServer != null) {
model.setSelectedServer(currentServer);
}
}