private void printTaskTrees() {
    System.out.println("Task Trees:");
    for (Iterator iter = taskTrees.iterator(); iter.hasNext(); ) {
      Tree nextTree = (Tree)iter.next();
      Tree.printTree(nextTree);
    }
  }