Stop trying to merge identical jump tables. This had been inadvertently