[LUCENE-9213] fix documentation-lint on recent java

• Type: Task
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 9.0
• Lucene Fields: New
• Assignee: Unassigned
• Reporter: Robert Muir
• Created: 07/Feb/20 20:43
• Updated: 28/Aug/22 15:58
• Resolved: 07/Feb/20 22:19

Description

Currently this is disabled unless you use java 11. It works with java 12. For java 13, it the python checker needs some slight tweaks.

Javadocs are formatted differently in each release but the changes between 12 and 13 were enough to anger the checker.