return (decode(propval));  return (defval); }
return decode (propval); return defval; }
	public static Font getFont(String propname, Font defval) {		String propval = System.getProperty(propname);		if (propval != null)			return (decode(propval));		return (defval);	}