A media player for Android.