Robert Burke

I found the file, hal4.ogg, in .minecraft/resources/newmusic instead of sound/. It play without problems in a 3rd party ogg player.