Ой. Я использовал HAXM с версией Android 19 вполне нормально. Команда проекта хотела использовать Android 18. Я отступил. Теперь HAXM больше не отображается ни в диспетчере AVD для добавления AVD, ни в Android Targets для настроек проекта. Что ж,...