/src/main/java/org/htmlunit/util/WebResponseWrapper.java
return webResponse.getContentCharset( ) ;
return wrappedWebResponse_.getResponseHeaders ( ) ;
@Override public long getLoadTime() { return wrappedWebResponse_.getLoadTime(); } @Override public List<NameValuePair> getResponseHeaders() { <extra_id_0> } @Override public String getResponseHeaderValue(final String headerName) { return wrappedWebResponse_.getResponseHeaderValue(headerName); } @Override