An audio reproducer for Android