fe40370f39
The documentation generation change introduced in #4167 seems to scan more files than previously WRT checking the code formatting style. This commit fixes the formatting of the files that do not conform to the Spring style.