if (a.isDefined(FontSize)) return ((Integer)a.getAttribute(FontSize)).intValue();
Integer i = (Integer) a.getAttribute(FontSize); if (i != null) return i.intValue();
  public static int getFontSize(AttributeSet a)  {    if (a.isDefined(FontSize))      return ((Integer)a.getAttribute(FontSize)).intValue();    else      return 12;  } 