AndroidPlatform only contains the original release of each SDK version.

e.g. SDK 16 = 4.1.

But since then there's been Android 4.1.2, which is still SDK 16. But when configuring an emulator with 4.1.2, it's not found.