Fix slight JavaDoc formatting issue.
Use delombok for JavaDoc generation, #1188