Actually, if I'm correct, they're not just from one religion but a couple. A lot of religions have a few things in common with each other. Each religion has a story of Noah and his Ark, though with different names for different religions, of course. The romans and Greeks had a lot of the same Gods, but with different names. A lot of the Christian religion's holiday of Christmas was stolen from the pagans. I mean, it's just a matter of how big of a deal do you want to make out of a video game using three names from one religion. Doesnt seem to be a big deal when you consider Final Fantasy using the names Shiva, Titan, Quetzacotl, Seraphim, Leviathan, Odin and Raiden, Fenrir, Ragnarok etc. Or games that are completely based off of one religion, like Exodus for the NES. To me, it's not too big of a deal.