#5 compilation err in 1.4

[Danny Sadinoff]

java 1.4 has introduced a difference in the API of
HtmlDocWriter (not surprising, since I don't think
that the com.sun.tools.doclets tree is a "published"
api).

Anyways, HtmlDocWriter.configuration used to be a
static field, and now it's an abstract method, which
obviously leads to badness. patch may follow...

[Alex Lancaster]

Logged In: YES
user_id=8312

Thanks for the bug report. Will look into it. We are in
the process of migrating texidoclet to savannah.gnu.org as
part of the classpath project, but I will keep these bugs
open until they are fixed or otherwise migrated to the
savannah bug tracking system.