Make worker number configurable per server via build property files