This code exercises the behavior of the standard doclet
in order to verify its behavior, and thence to be
sure that the implementation of mjdoc is correct (or
at least matches the standard behavior of javadoc).
