Today Java 21 has become GA. We should upgrade our workflows from Java 17 to 21.

We may need to redefine the Javadoc stylesheet as happened during the transition to Java 11 (#1570 / #1600) and 17 (#2576 / #2621).