Bumped versions of Android API, Android NDK, and Apache Ant to current
versions