core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java
--- a/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java Fri Jun 11 11:35:13 2010 -0500
+++ b/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/internal/sdk/ui/SDKPreferencePage.java Fri Jun 11 12:09:52 2010 -0500
@@ -174,7 +174,7 @@
@Override
protected void setValue(Object element, Object value) {
ISymbianSDK sdk = (ISymbianSDK) element;
- sdk.setEPOCROOT(value.toString());
+ ((SymbianSDK)sdk).setEPOCROOT(value.toString());
SDKCorePlugin.getSDKManager().updateSDK(sdk);
getViewer().refresh();
}