issue #2340: Upgrading SpiderMonekey to Firefox v22