if (a.isDefined(Alignment)) return ((Integer)a.getAttribute(Alignment)).intValue();
Integer i = (Integer) a.getAttribute(Alignment); if (i != null) return i.intValue();
  public static int getAlignment(AttributeSet a)  {    if (a.isDefined(Alignment))      return ((Integer)a.getAttribute(Alignment)).intValue();    else      return ALIGN_LEFT;        } 