Как я могу установить User Agent для инструмента Javadoc в JDK 11?
Как указывает комментарий , использование -J-Dhttp.agent=…, похоже, больше не вступает в силу.
JDK 11 doc утверждает, что http.agent должен изменить поведение «пакета java.net», а опция -J не изменилась .Итак, как показывает предыдущий комментарий, вероятно, инструмент javadoc изменил свой способ доступа к веб-контенту.
Я пытался представить отчет об ошибке по этому поводу, но я не могу .
Кто-нибудь знает, как изменить пользовательский агент, используемый javadoc, или как запросить повторное введение этой функции?