UIManager.put("Tree.hash", color);
hashColor = color;
  protected void setHashColor(Color color)  {    // FIXME: Putting something in the UIDefaults map is certainly wrong.    UIManager.put("Tree.hash", color);  }