Police beef up patrols around Jerusalem