private DefaultMutableTreeNode createNode(Doc doc)
{
//System.out.println("handle " + doc.name());
Pair pair = new Pair();
pair.setFirst(doc);
pair.setSecond(new ArrayList<String>());
DefaultMutableTreeNode node = new DefaultMutableTreeNode(pair);
doc2node.put(doc, node);
return node;
}