--- /home/cpdev/src/classpath/gnu/xml/transform/ChooseNode.java	2005-07-02 21:03:16.000000000 +0000
+++ gnu/xml/transform/ChooseNode.java	2005-06-30 05:34:21.000000000 +0000
@@ -50,18 +50,17 @@
   extends TemplateNode
 {
 
+  ChooseNode(TemplateNode children, TemplateNode next)
+  {
+    super(children, next);
+  }
+
   TemplateNode clone(Stylesheet stylesheet)
   {
-    TemplateNode ret = new ChooseNode();
-    if (children != null)
-      {
-        ret.children = children.clone(stylesheet);
-      }
-    if (next != null)
-      {
-        ret.next = next.clone(stylesheet);
-      }
-    return ret;
+    return new ChooseNode((children == null) ? null :
+                          children.clone(stylesheet),
+                          (next == null) ? null :
+                          next.clone(stylesheet));
   }
 
   void doApply(Stylesheet stylesheet, QName mode,