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