Incorporating NextBlockAfterFinEvent into EventEncoder. In addition there were
extensive reformatting changes in the Javadoc, not so much to the output HTML
but rather to the Javadoc in the source code, line wraps etc. The encoding and
decoding of NextBlockAfterFinEvent in EventEncoder has been tested somewhat and
is working, but the more extensive changes have not been integrated into the
rest of the code.
