John Devis son , verkmästare.