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