From 94ee293c61984fe9dd75be315086e4b1991027f5 Mon Sep 17 00:00:00 2001
From: David Dykstal <david_dykstal@us.ibm.com>
Date: Fri, 19 May 2006 01:21:10 +0000
Subject: [PATCH] Fix bug 142446. Ensure that no profile (including the Team
 and default private profiles) are not placed in the active profiles list more
 than once.

---
 .../rse/core/SystemPreferencesManager.java       | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/rse/plugins/org.eclipse.rse.ui/systems/org/eclipse/rse/core/SystemPreferencesManager.java b/rse/plugins/org.eclipse.rse.ui/systems/org/eclipse/rse/core/SystemPreferencesManager.java
index 2819f3a7eb2..8716e133572 100644
--- a/rse/plugins/org.eclipse.rse.ui/systems/org/eclipse/rse/core/SystemPreferencesManager.java
+++ b/rse/plugins/org.eclipse.rse.ui/systems/org/eclipse/rse/core/SystemPreferencesManager.java
@@ -15,9 +15,11 @@
  ********************************************************************************/
 
 package org.eclipse.rse.core;
+import java.util.Arrays;
 import java.util.Hashtable;
+import java.util.SortedSet;
+import java.util.TreeSet;
 import java.util.Vector;
-
 import org.eclipse.jface.preference.IPreferenceStore;
 import org.eclipse.rse.model.IHost;
 import org.eclipse.rse.model.ISystemRegistry;
@@ -112,15 +114,15 @@ public class SystemPreferencesManager
 		  RemoteSystemsPreferencePage.setActiveProfiles(names);    	
     }
     /**
-     * Add a name to the active profile list
+     * Add a name to the active profile list. A name already in the list is not added again.
+     * The list remains sorted in the natural order.
      */
     public void addActiveProfile(String newName)
     {
-		String[] names = getActiveProfileNames();
-        String[] newNames = new String[names.length+1];		
-        for (int idx=0; idx<names.length; idx++)
-          newNames[idx] = names[idx];
-        newNames[names.length] = newName;
+		SortedSet names = new TreeSet(Arrays.asList(getActiveProfileNames()));
+		names.add(newName);
+		String[] newNames = new String[names.size()];
+		names.toArray(newNames);
 		RemoteSystemsPreferencePage.setActiveProfiles(newNames);    	        
     }