return UIManager.getLookAndFeelDefaults().getColor("Tree.hash");
return UIManager.getColor("Tree.hash");
  protected Color getHashColor()  {    return UIManager.getLookAndFeelDefaults().getColor("Tree.hash");  }