TDS-404: need to synchronize on VertCoords.setName().