[jdom-interest] Element.setAttribute Undefined?

[Adams, Dick W]

The following fragment won't compile:

	org.jdom.Element error = new Element("err");
	error.setAttribute("type", type)           ;

The compiler says the method setAttribute(java.lang.String,
java.lang.String) is not defined for org.jdom.Element. However, the javadoc
indicates this method IS defined (unless I'm totally blind). I don't this
problem mentioned anywhere in the archives.

Environment:  

*	JDOM: Beta 8 jdom.jar, dated 28 Mar 2002
*	Compiler: Eclipse 2.0

Anyone know what's wrong here?

Dick Adams
Software Engineer, Sprint PCS
6550 Sprint Parkway, 2C122
Overland Park, KS
(913) 794-4760