JDK-8221644 : jquery directory should be renamed
  • Type: Enhancement
  • Component: tools
  • Sub-Component: javadoc(tool)
  • Affected Version: 13
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2019-03-28
  • Updated: 2020-08-28
  • Resolved: 2019-04-15
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 13
13 b17Fixed
Related Reports
Relates :  
JDK-8222526 - Use of no longer existing jquery directory in script.js
Relates :  
JDK-8204666 - javadoc should be updated to use jQuery 3.3.1
Description
The generated docs contain a top-level directory named "jquery".

That presumes there is no top-level package or module named jquery.

The directory should be renamed to some name that is not a legal Java identifier.

As a side effect, this would make it easier to "ignore" the directory in tools that want to analyze the docs.
Comments
Agreed on the use of hyphen, which has adequate precedent.
12-04-2019
I think the most convenient character to avoid collision with Java identifiers would be a hyphen. We could go with "jquery-dir", but since we also have jszip in there and possibly other things in the future, "script-dif" may be more suitable.
29-03-2019