Commit 8c2e7306cf8e73e3e343c681295dae577e81c2e7

DRC 2024-08-21T13:03:41

Java doc: Minor formatting tweak