HashMap[] serversConfigs = XMLPreferencesReader.read(Activator
.getDefault().getPluginPreferences(), SERVERS_PREFERENCES_KEY);
// Then we create the servers from their configurations...
for (HashMap serverMap : serversConfigs) {
Server server = new Server();
server.restoreFromMap(serverMap);
String serverName = server.getName();
servers.put(serverName, server);
// Register the manager as a Server lister to get nofitications
// about attribute changes.
server.addPropertyChangeListener(this);