Android SDK manager does not download all API levels
<p>I have observed problems with more recent versions of the SDK(-tools) where an <code>android update sdk --no-ui</code> does not pull down all platform versions anymore. We just set up a new headless build server and went with a fresh installation of the SDK, but that command refuses to pull down API level 9 (Gingerbread):</p>

<pre><code>ateam@gandalf:~/android/sdk/platforms$ ls
android-10  android-11  android-12  android-13  android-14  android-3  android-4  android-7  android-8
</code></pre>

<p>It is missing API levels 5 and 6, since they are deprecated, so that's fine, but Gingerbread should be there?</p>

<pre><code>ateam@gandalf:~/android/sdk/platforms$ android update sdk --no-ui
...
There is nothing to install or update.
</code></pre>

<p>Anyone else having this?</p>
