/src/main/java/org/htmlunit/WebRequest.java
if ( name.equalsIgnoreCase( key) ) {   return true; }
[Delete]
} return false; } public String getAdditionalHeader(final String name) { String newKey = name; for (final String key : additionalHeaders_.keySet()) { <extra_id_0> newKey = key; break; } } return additionalHeaders_.get(newKey); }