// Find the correct label and set it
PositionLabelVector::iterator it;
for (it=position_labels_.begin(); it!=position_labels_.end(); it++)
if ((*it)->getElevatorNumber() == elevator)
// Find the correct label and set it
PositionLabelVector::iterator it;
for (it=position_labels_.begin(); it!=position_labels_.end(); it++)
if ((*it)->getElevatorNumber() == elevator)