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