Name: akC57697 Date: 08/12/98
The spec for com.sun.java.swing.text.html.HTML.getAttributeKey(String)
unclear about "well-known attributes".
The documentation says:
"
public static Attribute getAttributeKey(String attName)
Fetch an attribute constant for a well-known attribute name
(i.e. one of the attributes in the set allAttributes).
If the given name does not represent one of the well-known attributes,
then null will be returned.
"
The set "allAttributes" does not contain attribute "face" in
java full version "JDK-1.2fcs-E"
======================================================================