setForeground(UIManager.getColor(
this.setForeground(UIManager.getColor(
		public Component getTreeCellRendererComponent(JTree tree,			Object value, boolean selected, boolean expanded,			boolean leaf, int row, boolean hasFocus)		{			if (selected)			{				setBackground(UIManager.getColor(					"Tree.selectionBackground"));				setForeground(UIManager.getColor(					"Tree.selectionForeground"));			}			else			{				setBackground(tree.getBackground());				setForeground(tree.getForeground());			}			String name = null;			if (value instanceof OptionGroup)			{				name = ((OptionGroup)value).getName();				setFont(groupFont);			}			else if (value instanceof OptionPane)			{				name = ((OptionPane)value).getName();				setFont(paneFont);			}			if (name == null)			{				setText(null);			}			else			{				String label = jEdit.getProperty("options." +					name + ".label");				if (label == null)				{					setText(name);				}				else				{					setText(label);				}			}			setBorder(hasFocus ? focusBorder : noFocusBorder);			return this;		}