/** Fetch all servers from the repository. Rebuild Tree and HostSelector. */
public void fetchServers() {
m_servers = m_admin.list_servers();
m_server_model.setServers(m_servers);
m_server_names.clear();
for (int _i = 0; _i < m_servers.length; _i++)
m_server_names.put(m_servers[_i].name, new Integer(_i));
String _server = m_poa_model.getServerName();
if (_server != null) m_poa_model.setPOAs(m_servers[indexForServerName(_server)].poas);
buildTree();
buildHostSelectorModel();
}
