REDTEST#23: Include documentation comments in all the source code using Javadoc. Fixes #23.