标签: javadoc user-agent
如何在JDK 11中为Javadoc工具设置用户代理?
如comment所示,使用-J-Dhttp.agent=…似乎不再有效。
-J-Dhttp.agent=…
JDK 11 doc指出http.agent应该改变“ java.net软件包”和-J选项hasn’t changed的行为。因此,如前所述,Javadoc工具可能已经改变了其访问Web内容的方式。
http.agent
-J
我试图介绍有关此问题的错误报告,但我can’t。
有人知道如何更改javadoc使用的用户代理或如何要求重新引入此功能吗?