An Android app to share music in social settings