wavToMP3 - uses JavaSound / mp3spi