FYI on Javadocs, and thanks

[Ken Wood]

The recent fix to the initialization problem that
was blocking the JavaDoc 1.2 args has saved the day.

Now the header, footer, bottom, etc attributes are
being processed. Thanks!