code: @Override
  	public void setProxyHostPort(String hostPort) {
      	int colonIdx = hostPort.indexOf(':');
      	if(colonIdx > 0) {
      		String host = hostPort.substring(0,colonIdx);
      		int port = Integer.valueOf(hostPort.substring(colonIdx+1));
      		
  //            http.getHostConfiguration().setProxy(host, port);
      		hostConfiguration.setProxy(host, port);
      	}
      }
docs: /* (non-Javadoc)
  @see org.archive.util.binsearch.impl.HTTPSeekableLineReaderFactory#setProxyHostPort(java.lang.String)