public class AndroidAudioInputStream extends AudioInputStream
Implements an AudioInputStream for Android. Its internal InputStream is
unused (at least we don't care about the contents). Instead, we store the
URL to the original audio data in it, so we can feed it into the Android
MediaPlayer.