adding proper version of stubbed android.jar and changing to default in Options