return label;
String value = (String) attributes.getAttribute(HTML.Attribute.VALUE); if (value == null) value = label; return value;
  public String getValue()  {    // FIXME: Return some attribute here if specified.    return label;  }