A quick note to myself and interested fellows:
To convert anything mplayer can play to a WAVE file, issue the following command:
mplayer -ao pcm:waveheader:file="file.wav" file.mp3
I had to do this, because the Java SoundClip seems to be unable to play MP3 or OGG.
