if (next != null) { ret.next = next.clone(stylesheet); } return ret; }
  TemplateNode clone(Stylesheet stylesheet)  {    return new ChooseNode((children == null) ? null :                          children.clone(stylesheet),                          (next == null) ? null :                          next.clone(stylesheet));  }