It's an interesting failure: it fell through the cracks because
Javadoc 17 leniently accepts the bad reference (int instead of float
in the constructor signature) and automatically fixes it (the produced
HTML says "float") while Javadoc 11 rejects the bad reference.
On Tue, Feb 7, 2023 at 10:24
I'm looking into it.
On Tue, Feb 7, 2023 at 8:08 AM Policeman Jenkins Server
wrote:
>
> Build: https://jenkins.thetaphi.de/job/Lucene-9.x-MacOSX/1806/
> Java: 64bit/hotspot/jdk-11.0.15 -XX:-UseCompressedOops -XX:+UseParallelGC
>
> No tests ran.
>
>