Historically java-pkg_dohtml was just a dummy wrapper for dohtml.
Nowadays it does some magic to record javadocs. With the new
java-pkg_dojavadoc function I again don't see any reason for us to have
a separate dohtml function so I propose we deprecate java-pkg_dohtml and
start using java-pkg_dojavadoc for javadocs and just dohtml [-r] for
html documentation. This should help in porting packages to properly use
dojavadoc.

Regards,
Petteri