Opera claims former employee gave stolen trade secrets to Mozilla