code: public TaskInProgress getTip(TaskID tipid) {
      JobInProgressTraits job = getJobInProgress(tipid.getJobID());
      return (job == null ? null : job.getTaskInProgress(tipid));
    }
docs: Returns specified TaskInProgress, or null.