This patch (committed) adds some checks for the BasicHTML.isHTMLString() 
method:

2006-06-26  David Gilbert  <david.gilbert@object-refinery.com>

    * gnu/testlet/javax/swing/plaf/basic/BasicHTML/isHTMLString.java:
    New test.

Regards,

Dave