AndroidSDKManager checks the validity of preferences

AndroidSDKManager throws an exception if the SDK preferences for android
is not defined. This will allow UI components to correctly handle the
case by via status handlers. This also fixes bug JBIDE-16913.