import java.util.*;
import java.lang.reflect.*;
-/** a tree (or node in a tree); see jargon.txt for details */
+/** <font color=blue>a tree (or node in a tree); see jargon.txt for details</font> */
public class Tree<T>
extends PrintableTree<Tree<T>>
implements Iterable<Tree<T>>,