Fixing some last-minute Javadoc issues.
Authored by: nerius 2023-11-07
Parent: [r1552]
Child: [r1554]
