If so is it mental health and not anti semitism? That would be much better for the Jewish community, I think, not to have had an anti semitic attack. However I'm not sure of the facts. But if true it should be advertised to enhance feeling of safety in the community.