Source position: googledataflow.pp line 504
published property TWorkerPool.numWorkers : Integer index 8 read FnumWorkers write SetnumWorkers;