Paragraphs that have the 'default' paragraph style will not get written out

==========================================================================
carlos.lucasius@canada 1998-04-03:
Bug reported by Corel (licensee) for JFC1.1 using JDK1.1.4 on WINNT4.0.
Corel: "Very critical bug for our product - requires immediate attention."

Please incorporate the fix below into their source code if the fix is
appropriate. Thx.

Fix:
    In com.sun.java.swing.text.html.HTMLWriter.java on line 1520 in the
method public void writeBranch(Writer w, String indent, Element e) there's
a check to see if the branch name is "default". If it is, the method
returns and that branch element (paragraph and content) doesn't get
written out. The simplest thing I found was to change the name to "p".

ie: instead of
     // For some reason, there is an element at the top
     // called "default".
     // Skip it.
     if (name.equals("default"))
  return;

do this:
     // For some reason, there is an element at the top
     // called "default".
     // Skip it.
     if (name.equals("default"))
  name = "p";