JLabel label =
(JLabel) super.getTreeCellRendererComponent(tree, value, sel, expanded,
leaf, row, focus);
SelTreeSetVertex vertex =
(SelTreeSetVertex) ((DefaultMutableTreeNode) value).getUserObject();
if (vertex instanceof FactoryVertex<?>) {
return facVertexLabel(label, (FactoryVertex<?>) vertex);
}