Re: [DOCS] Java class documentation

> Could we for now remove the formal class documentation from the DocBook
> source, while keeping the narrative parts, and instead point people to the
> JavaDoc?  Could we make prebuild class documentation in HTML available to
> users, maybe where the jars are downloaded?

Works for me. Not sure if we have rules for building javadoc in our
makefiles, but I'm sure it would be easy to add if necessary. Peter M,
what do you think?

                     - Thomas