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