if(fm == null) fm = Toolkit.getDefaultToolkit().getFontMetrics(getFont());
	public final FontMetrics getFontMetrics()	{		if(fm == null)			fm = Toolkit.getDefaultToolkit().getFontMetrics(getFont());		return fm;	}