return new NodeNumberNode((children == null) ? null : children.clone(stylesheet), (next == null) ? null : next.clone(stylesheet), level,
TemplateNode ret = new NodeNumberNode(level,
  TemplateNode clone(Stylesheet stylesheet)  {    return new NodeNumberNode((children == null) ? null :                              children.clone(stylesheet),                              (next == null) ? null :                              next.clone(stylesheet),                              level,                              (count == null) ? null :                              (Pattern) count.clone(stylesheet),                              (from == null) ? from :                              (Pattern) from.clone(stylesheet),                              format, lang, letterValue,                              groupingSeparator, groupingSize);  }