Added default port numbers for HTTP and SOCKS5 proxies.