/src/main/java/org/htmlunit/WebRequest.java
} return credentials_;
return credentials_; }
additionalHeaders_.remove(name); } public Credentials getUrlCredentials() { return urlCredentials_; } public Credentials getCredentials() { <extra_id_0> public void setCredentials(final Credentials credentials) { credentials_ = credentials; } public Charset getCharset() { return charset_; }