Update: apparently there is a mistake in the documentation, it seems you have to install the API #14 in the Android SDK Manager, not the API #15 (or you can install both if you want).