--- a/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java	Mon Aug 30 14:54:10 2010 -0600
+++ b/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java	Mon Aug 30 16:39:11 2010 -0500
@@ -97,6 +97,9 @@
 				for (Iterator iter = devices.iterator(); iter.hasNext();) {
 					SymbianSDK sdk = new SymbianSDK((DeviceType) iter.next());
 					sdk.addSupportedFeature(ISymbianSDKFeatures.IS_FROM_DEVICES_XML);
+					if (isInSDKList(sdk)) {
+						continue;
+					}
 					sdkList.add(sdk);
 				}
 			}
@@ -484,7 +487,8 @@
 		}
 	}
 
-	private boolean isInSDKList(ISymbianSDK sdk) {
+	@Override
+	protected boolean isInSDKList(ISymbianSDK sdk) {
 		for (ISymbianSDK entry : sdkList) {
 			if (entry.getEPOCROOT().equalsIgnoreCase(sdk.getEPOCROOT())) {
 				return true;