Use name of the SDK as the key to distinguish different SDKs

Signed-off-by: Umair Khan <[email protected]>

Author: omerjerk

src/processing/mode/android/AndroidBuild.java

@@ -81,6 +81,7 @@ public static void setSdkTarget(AndroidSDK.SDKTarget target, Sketch sketch) {
     manifest.setSdkTarget(sdkVersion);
 
     Preferences.set("android.sdk.version", sdkVersion);
+    Preferences.set("android.sdk.name", target.name);
   }
 
   /**

src/processing/mode/android/AndroidEditor.java

@@ -297,7 +297,8 @@ private void updateSdkMenu(final JMenu sdkMenu) {
       AndroidSDK.SDKTarget lowestTargetAvailable = null;
       JCheckBoxMenuItem lowestTargetMenuItem = null;
 
-      String savedTargetVersion = Preferences.get("android.sdk.version");
+//      String savedTargetVersion = Preferences.get("android.sdk.version");
+      String savedSdkName = Preferences.get("android.sdk.name");
       boolean savedTargetSet = false;
 
       for(final AndroidSDK.SDKTarget target : targets) {
@@ -312,7 +313,7 @@ private void updateSdkMenu(final JMenu sdkMenu) {
           lowestTargetMenuItem = item;
         }
 
-        if (Integer.toString(target.version).equals(savedTargetVersion)) {
+        if (target.name.equals(savedSdkName)) {
           AndroidBuild.setSdkTarget(target, sketch);
           item.setState(true);
           savedTargetSet = true;