super.addRequestProperty(key, value);
  public void addRequestProperty(String key, String value)  {    String old = requestHeaders.getValue(key);    if (old == null)      {        requestHeaders.put(key, value);      }    else      {        requestHeaders.put(key, old + "," + value);      }  }