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