No bug - Fix four warnings in js/src; r=sparky