Javaでのプロキシ設定に関するいくつかのリンクをグーグルで見つけましたが、少し混乱することはほとんどありません
1)本当に proxySet プロパティを設定する必要がありますか?
System.getProperties().put( "proxySet", "true" );
System.getProperties().put( "proxyHost", "proxy host" );
System.getProperties().put( "proxyPort", "8080" );
2) http.proxyHost と proxyHost の設定の違いは何ですか? 基本的に、「proxyHost」はhttp、https、ftpなどを含むすべてのプロトコルに適用されるのに対し、http.proxyHostはhttpプロトコルにのみ適用されるということですか?
System.getProperties().put( "proxyHost", "proxy host" );
また
System.getProperties().put( "http.proxyHost", "proxy host" );
3)後は必ずする必要がありますか?
System.getProperties().put( "proxySet", "false" );
System.getProperties().put( "proxyHost", "" );
System.getProperties().put( "proxyPort", "" );
4) Java でのプロキシ設定に関する詳細な公式ドキュメントはどこにありますか?