When I start playing in my minecraft world, I tried to play pigstep using the juke box, but nothing happened. Then I tried the other music disc such as 13 and 11, they all worked properly. Which means only pigstep didn't work, it got no music coming out. The problem also happened in my other worlds. Hope Mojang can fix it as soon as possible.