--- /home/cpdev/src/classpath/gnu/xml/transform/NumberNode.java	2005-07-02 21:03:17.000000000 +0000
+++ gnu/xml/transform/NumberNode.java	2005-06-30 05:34:21.000000000 +0000
@@ -53,27 +53,24 @@
 
   final Expr value;
 
-  NumberNode(Expr value, TemplateNode format, String lang,
+  NumberNode(TemplateNode children, TemplateNode next,
+             Expr value, TemplateNode format, String lang,
              int letterValue, String groupingSeparator, int groupingSize)
   {
-    super(format, lang, letterValue, groupingSeparator, groupingSize);
+    super(children, next, format, lang, letterValue, groupingSeparator,
+          groupingSize);
     this.value = value;
   }
 
   TemplateNode clone(Stylesheet stylesheet)
   {
-    TemplateNode ret = new NumberNode(value.clone(stylesheet),
-                                      format, lang, letterValue,
-                                      groupingSeparator, groupingSize);
-    if (children != null)
-      {
-        ret.children = children.clone(stylesheet);
-      }
-    if (next != null)
-      {
-        ret.next = next.clone(stylesheet);
-      }
-    return ret;
+    return new NumberNode((children == null) ? null :
+                          children.clone(stylesheet),
+                          (next == null) ? null :
+                          next.clone(stylesheet),
+                          value.clone(stylesheet),
+                          format, lang, letterValue,
+                          groupingSeparator, groupingSize);
   }
 
   int[] compute(Stylesheet stylesheet, Node context, int pos, int len)