localName = name;
localName = intern(name);
    Attribute(String name, String type, boolean specified, String value)    {      this.name = name;      this.type = type;      this.specified = specified;      this.value = value;      int ci = name.indexOf(':');      if (ci == -1)        {          prefix = null;          localName = name;        }      else        {          prefix = intern(name.substring(0, ci));          localName = intern(name.substring(ci + 1));        }    }