// draw the arc and child root for each child c of p
if (depth > oldDepth) {
oldDepth = depth;
offsetAtLevel[depth] = 0;
}
Enumeration enumeration = p.children();
while (enumeration.hasMoreElements()) {
SearchTreeNode c = (SearchTreeNode)enumeration.nextElement();
drawArc(p, c, depth, offsetAtLevel[depth], offsetAtLevel[depth+1], g2);
drawNode(c, depth+1, offsetAtLevel[depth+1], g2);
offsetAtLevel[depth+1] += c.getSpaceAllocation();