--- a/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManagerRaptorOnly.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/SDKManagerRaptorOnly.java	Mon Aug 30 16:39:11 2010 -0500
@@ -135,7 +135,17 @@
 	public void updateSDK(ISymbianSDK sdkId) {
 		updateCarbideSDKCache();
 	}
-	
+
+	@Override
+	protected boolean isInSDKList(ISymbianSDK sdk) {
+		for (ISymbianSDK entry : sdkList) {
+			if (entry.getEPOCROOT().equalsIgnoreCase(sdk.getEPOCROOT())) {
+				return true;
+			}
+		}
+		return false;
+	}
+
 	@Override
 	protected boolean isEPOCRootFixed() {
 		return false;