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