if (a.isDefined(FontFamily)) return (String) a.getAttribute(FontFamily);
String ff = (String) a.getAttribute(FontFamily); if (ff != null) return ff;
  public static String getFontFamily(AttributeSet a)  {    if (a.isDefined(FontFamily))      return (String) a.getAttribute(FontFamily);    else      return "Monospaced";  } 