/src/main/java/org/htmlunit/WebRequest.java
proxyPort_ = proxyPort;proxyHost_ = proxyHost;
proxyHost_ = proxyHost;
return url; } public String getProxyHost() { return proxyHost_; } public void setProxyHost(final String proxyHost) { <extra_id_0> } public int getProxyPort() { return proxyPort_; } public void setProxyPort(final int proxyPort) { proxyPort_ = proxyPort;