- /** append Java code to <tt>sb</tt> which evaluates to this instance */
- public void toJava(StringBuffer sb) {
- sb.append("new Tree(null, ");
- sb.append(head==null ? "null" : "\"" + StringUtil.toJavaString(head+"") + "\"");
- sb.append(", new Tree[] { ");
- for(int i=0; i<children.length; i++) {
- if (children[i]==null) sb.append("null");
- else children[i].toJava(sb);
- if (i<children.length-1) sb.append(",\n ");
- }
- sb.append("})");
+ Object[] labels2 = labels==null ? new Object[0] : new Object[labels.length];
+ if (labels != null) System.arraycopy(labels, 0, labels2, 0, labels.length);
+ this.labels = labels2;