Trouble installing Android 4.2 APIs

Question

I updated ADT through Eclipse today to version 21. Now when I open the SDK Manager I would expect there to be a folder like \"Android 4.2 (API 17)\", which would contain the SDK

Answer 1

Eclipse > Window > Android SDK Manager > Packages > Reload

It then properly updated the UI to let me choose updated software.

Why do I need to click "Reload" manually ?! I expect that to happen automatically when I open the SDK Manager.