public UIDefaults getDefaults() { if (LAF_defaults == null) LAF_defaults = new BasicDefaults();   return LAF_defaults; }
public UIDefaults getDefaults() { if (LAF_defaults == null) LAF_defaults = super.getDefaults();   return LAF_defaults; }
	public UIDefaults getDefaults() {		if (LAF_defaults == null)			LAF_defaults = new BasicDefaults();		//      Returns the default values for this look and feel. 		return LAF_defaults;	}