Android SDK Google API level 9 を個別にインストールする

AVD ManagerのAvailable packagesにAPI level9が表示されなかったので個別にインストールしたい。

http://www.hlplus.jp/php/blog/index.php?UID=1304083357

過去のSDK Platformはここで手に入る。
http://www.martintobing.com/view/338
過去のGoogle APIsはここで手に入る。