I am using Intellij Idea (same thing as Android Studio). Today I decided to update packages in Android SDK Manager, and during the update, my computer crashed. When I rebooted Ubuntu, the android executable was missing. So I re-extracted the android-sdk and got it working again. However, some jar files are missing, as shown in the attachment.
Apparently, when I installed all the necessary packages in the SDK Manager, I missed a package pertaining to android-support-v4.jar. I googled and found this link. It says download Android Support package under Extras. But I do not see it. I just see something called Android Support repository. Is it the same thing? If not, where can I get the Android Support package?