Fix a multitude of Javadoc formatting errors.

For how I did this see https://gist.github.com/gratimax/47dffe6b764ac5757e3b.
Fix a multitude of Javadoc formatting errors.

For how I did this see https://gist.github.com/gratimax/47dffe6b764ac5757e3b.