code: def getNextJobID(self):  # type: () -> int
          
          with self.localBatch.jobIndexLock:
              jobID = self.localBatch.jobIndex
              self.localBatch.jobIndex += 1
          return jobID
docs: Must be used to get job IDs so that the local and batch jobs do not
          conflict.