Android Virtual Device Managerで 4.0.3(Ice Cream Sandwich)以前のシステムイメージがダウンロードできない

とりあえず他バージョンのシステムイメージを指定して AVDを作成。^*1
%Profile%\.android\avd\Nexus_5X_API_15.ini中の target=android-16を target=android-15に書き換える。
%Profile%\.android\avd\Nexus_5X_API_15.avd\config.ini中の image.sysdir.1=system-images\android-16\google_apis\x86\を image.sysdir.1=system-images\android-15\google_apis\x86\に書き換える。
AVD Managerを起動するとシステムイメージが失われている状態になっているのでダウンロードを指示する。