Random Android music player using sl4a