/src/main/java/org/htmlunit/WebRequest.java
} return true;if ( name.equalsIgnoreCase( key) ) {
if ( name.equalsIgnoreCase ( key ) ) { return true; }
} public void setAdditionalHeaders(final Map<String, String> additionalHeaders) { additionalHeaders_ = additionalHeaders; } public boolean isAdditionalHeader(final String name) { for (final String key : additionalHeaders_.keySet()) { <extra_id_0> } return false; } public String getAdditionalHeader(final String name) { String newKey = name; for (final String key : additionalHeaders_.keySet()) {