DefaultMutableTreeNode node = (DefaultMutableTreeNode) path.getLastPathComponent();
Object nodeInfo = node.getUserObject();
if (nodeInfo instanceof TestError) {
TestError error = (TestError) nodeInfo;
MultipleNameVisitor v = new MultipleNameVisitor();
v.visit(error.getPrimitives());
res = "<html>" + v.getText() + "<br>" + error.getMessage();
String d = error.getDescription();
if (d != null)
res += "<br>" + d;
res += "</html>";
} else {