JVM допускает свойства прокси http.proxyHost и http.proxyPort для указания прокси-сервера HTTP и https.proxyHost и https.proxyPort для указания прокси-сервера HTTPS.
Мне интересно, есть ли преимущества использования прокси-сервера HTTPS по сравнению с прокси-сервером HTTP?
Является ли доступ к URL-адресу https через прокси-сервер HTTPS менее громоздким, чем доступ к нему через прокси-сервер HTTP?