if (a.isDefined(RightIndent)) return ((Float)a.getAttribute(RightIndent)).floatValue();
Float f = (Float) a.getAttribute(RightIndent); if (f != null) return f.floatValue();
  public static float getRightIndent(AttributeSet a)  {    if (a.isDefined(RightIndent))      return ((Float)a.getAttribute(RightIndent)).floatValue();    else      return 0.f;    } 