public void handle(DefaultNode node) { report.append("Seen unknown node: ").append(node.toString()).append(SEP); }