Connection via HTTP Proxy results in different port for host key verification

[DarkDrek]

When using a HTTP Proxy the method KeyExchanger#verifyHost uses the port of the Proxy and thus the host checked in the known hosts is [IP]:PORT instead of IP when using the default ssh port.

[NikitaVlaznev]

@DarkDrek could you elaborate on how exactly do you use HTTP Proxy, could you share your implementation?