Ah ok, thanks for making things clearer.
99% chance it's pure coincidence and is not antisemitism from the game authors. Just spell it "Cefardee" or anything that spells differently and problem solved. I don't see how anyone sane would connect a game where you're killing monsters called "Cefardees" being antisemitism. The very idea you or your friend fears being prosecuted for this is downright paranoia.
PS : Now I am fully aware that some people belonging in groups who are regularly targets of hate, such as jews, are themselves often paranoid and very defensive about that. Some annoying people will take every occasion they could to shout "that's racism ! - that's sexism ! - that's antisemitism !" etc... Unfortunately there's not much we can do about that, but it's a good idea to ignore them and go on. A warning in readme seems appropriate.