Java系统属性，http.proxyHost，两个问题

我正在开发一个发出HTTP请求的Java应用程序，我一半的开发时间都在代理之后。因此，我的代码中有以下代码块：

if (BEHIND_PROXY) {
    java.util.Properties systemProperties = System.getProperties();
    systemProperties.setProperty("http.proxyHost", PROXY_HOST);
    systemProperties.setProperty("http.proxyPort", PROXY_PORT);
}

我的想法是根据我所在的位置更改代理后

的值。我今天在代理后工作，没有，忘了将
在代理后
设置为
false
。但是，连接仍然成功，我的应用程序收到了它请求的数据。这怎么可能？如果无法访问代理服务器，它会再次尝试，但会在重试时绕过代理，这是内置的吗

还有第二个问题，我一直在试图找到系统属性的完整列表。我发现了很多类似的帖子，但没有一篇列出了
http.proxyHost
或
http.proxyPort
，这让我觉得它们显然不是很完整。不知怎的，我找错地方了吗？这些
http.x
属性是否属于这些其他列表？是否有更完整的列表？
是否有内置的内容，即如果无法访问代理服务器，它只需再次尝试，但在重试时绕过代理？
对

我很惊讶地看到这一点，但这是内部连接的来源：
.  在第760行，如果我们尝试了所有可用的代理，但连接失败，我们将尝试非代理连接

不知怎的，我找错地方了吗？
也许吧。无论是对是错，Java哲学似乎认为系统属性是特殊的东西，要知道它的存在，唯一的方法就是阅读文档以了解它所影响的东西。在本例中，HttpURLConnection链接到上的一个页面。
Awesome，非常感谢您回答了一个假定的死问题！很高兴看到我怀疑的证据。