Header key = new Header(name); String old = (String) super.get(key); if (old == null) { super.put(key, value); } else { super.put(key, old + ", " + value); }
headers.add(headers.size(), new HeaderElement(name, value));
  private void addValue(String name, String value)  {    Header key = new Header(name);    String old = (String) super.get(key);    if (old == null)      {        super.put(key, value);      }    else      {        super.put(key, old + ", " + value);      }  }