'Workmen' in the Bible

So the workmen wrought, and the work was perfected by them, and they set the house of God in his state, and strengthened it.

And they put it in the hand of the workmen that had the oversight of the house of the LORD, and they gave it to the workmen that wrought in the house of the LORD, to repair and amend the house:

And they have gathered together the money that was found in the house of the LORD, and have delivered it into the hand of the overseers, and to the hand of the workmen.