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