if (task.getWorkflow () == null) { return "<null workflow for " + task.getUID() + ">"; }
  protected String uidsWorkflow (Task task) {    return uids (((WorkflowImpl)task.getWorkflow ()).getTaskIDs());  }