Firefox devs mull dumping Java to stop BEAST attacks