/**
  * Returns the Android SDK to use.
  *
  * @return the Android SDK to use.
  */
 protected AndroidSdk getAndroidSdk() {
   if (sdk == null) {
     return new AndroidSdk(sdkPath, sdkPlatform);
   } else {
     return new AndroidSdk(sdk.getPath(), sdk.getPlatform());
   }
 }