在Eclipse 3.5中更改用户代理以进行新的软件安装

Dan*_*tes 5 eclipse user-agent

如何在Eclipse 3.5中更改用户代理?我尝试将属性-Dhttp.agent =我的用户代理添加到eclipse.ini文件中,但是使用WireShark我可以看到用户代理仍然是Jakarta Commons-HttpClient/3.1.我需要更改它,以便我可以通过公司的过滤器下载插件和更新.这是我的eclipse.ini文件:

-startup
plugins/org.eclipse.equinox.launcher_1.0.200.v20090520.jar
--launcher.library
plugins/org.eclipse.equinox.launcher.win32.win32.x86_1.0.200.v20090519
-product
org.eclipse.epp.package.jee.product
--launcher.XXMaxPermSize
256M
-showsplash
org.eclipse.platform
-vm
C:/Progra~1/Java/jdk1.6.0_14/jre/bin/javaw.exe
-vmargs
-Xms1024m
-Xmx1024m
-Dhttp.agent=my agent
-Djava.net.preferIPv4Stack=true
-Dosgi.requiredJavaVersion=1.5
Run Code Online (Sandbox Code Playgroud)

jar*_*bjo 3

如果 Eclipse 不覆盖该配置,Apache 的 HttpClient 库将使用 httpclient.useragent 系统属性而不是 http.agent。