I was downloading packages using the Android SDK Manager. 
My internet connection got disconnected before the download finished and now the download does not resume and is stuck at 95% 
Is there no way to resume it?
Does it have to be stopped and restarted?