Android: Glue code for pausing audio playback