}
  protected void paintNonLeaf(Graphics g, int x, int y, JTree tree, Object nonLeaf)  {    Component c = tree.getCellRenderer().getTreeCellRendererComponent(tree,                                                                       nonLeaf,                                                                       false, // selected                                                                      false, // expanded                                                                      false, // leaf                                                                      0,     // row                                                                      false  // hasFocus                                                                      );    g.translate(x, y);    c.paint(g);    g.translate(-x, -y);  }