protected void installDefaults(JTree tree)
protected void installDefaults()
	protected void installDefaults(JTree tree)	{		UIDefaults defaults = UIManager.getLookAndFeelDefaults();		tree.setFont(defaults.getFont("Tree.font"));		tree.setForeground(defaults.getColor("Tree.foreground"));		tree.setBackground(defaults.getColor("Tree.background"));		tree.setOpaque(true);		rightChildIndent = defaults.getInt("Tree.rightChildIndent");		leftChildIndent = defaults.getInt("Tree.leftChildIndent");		setRowHeight(defaults.getInt("Tree.rowHeight"));    tree.requestFocusInWindow(false);	}