On Thu, 6 Jul 2023 09:35:30 GMT, Hannes Wallnöfer wrote:
> This bug existed before 21, but
> [JDK-8286470](https://bugs.openjdk.org/browse/JDK-8286470) triggered it and
> caused some strange and possibly non-deterministic ordering of items in the
> JavaDoc index pages, which caused failures re
This bug existed before 21, but
[JDK-8286470](https://bugs.openjdk.org/browse/JDK-8286470) triggered it and
caused some strange and possibly non-deterministic ordering of items in the
JavaDoc index pages, which caused failures reported in
[JDK-8309233](https://bugs.openjdk.org/browse/JDK-830923