I am trying to import a project in Android Studio that was initially meant to be compiled with Android-19 API. However now I need to make it work on a device with Android 4.0.3 (so I want to compile with android-15). Yet, Android Studio keeps telling me this, no matter what I do:
Error:failed to find target android-19 : C:\Users\BurrafatoMa\AppData\Local\Android\Sdk
<a href="install.android.platform">Install missing platform(s) and sync project</a>
(Lucky me that I did not have android-19 installed, otherwise I would have never noticed, right?)
AndroidManifest.xml:
<uses-sdk
    android:minSdkVersion="10"
    android:targetSdkVersion="15" />
build.gradle:
android {
    compileSdkVersion 15
    buildToolsVersion '17.0.0'
    defaultConfig {
        minSdkVersion 10
        targetSdkVersion 15
        versionCode 1
        versionName "1.0"
    }
...
project.properties:
target=android-15
I tried the solutions proposed in stackoverflow and on other sites, with no success. What am I missing?