sb.append(",defaultButton=").append(is_def); sb.append(",defaultCapable=").append(def);
sb.append(",defaultButton=").append(isDefaultButton()); sb.append(",defaultCapable=").append(defaultCapable);
  protected String paramString()  {    String superParam = super.paramString();    // 41 is the maximum number of chars which may be needed.    StringBuffer sb = new StringBuffer(41);    sb.append(",defaultButton=").append(is_def);    sb.append(",defaultCapable=").append(def);    return superParam + sb.toString();  }