RandomMusicPlayer is a Android Developer Sample. I Put Here for Teaching Convenience.