DefaultMutableTreeNode n = new DefaultMutableTreeNode("ABC");
harness.check(n.getUserObject(), "ABC");
harness.check(n.getAllowsChildren(), true);
harness.check(n.getLevel(), 0);
harness.check(n.getChildCount(), 0);
harness.check(n.children(), DefaultMutableTreeNode.EMPTY_ENUMERATION);
harness.check(n.getDepth(), 0);
// try null argument
n = new DefaultMutableTreeNode(null);
harness.check(n.getUserObject(), null);