I pushed some WMA files to emulator yesterday, and I found all of these music files can be played well by the music player, So I was confused. I found that Android 1.5 didn't support the WMA codec, which is announced in the SDK documentation. I also didn't find a WMA decoder in PV OMX. How does this happen?

I'm using android 2.2 on a stock Nexus one (from the pre-developer phone stage). Should the music player be able to cope with WMAs? I'm sure I've seen references to it coping with them, but they are currently just dead weight on the SD card. I actually quite like the stock player so installing a new player is the fallback option.