/src/main/java/org/htmlunit/WebRequest.java
newKey = url_;
newKey = key;
} } public void setAdditionalHeader(final String name, final String value) { String newKey = name; for (final String key : additionalHeaders_.keySet()) { if (name.equalsIgnoreCase(key)) { <extra_id_0> break; } } additionalHeaders_.put(newKey, value); } public void removeAdditionalHeader(String name) {