else return new Font("Dialog", Font.PLAIN, 12);
return null;
  public Font getFont()  {    Font f = font;    if (f != null)      return f;    Component p = parent;    if (p != null)      return p.getFont();    else      return new Font("Dialog", Font.PLAIN, 12);	}